fehler bei unterschiedlichen prioritäten behoben

2024-11-18 14:10:42 +01:00
parent 878228d791
commit 277126a816
2 changed files with 10 additions and 2 deletions
--- a/library.json
+++ b/library.json
@@ -6,7 +6,7 @@
    "compatibility": {
        "version": "7.1"
    },
-    "version": "0.142",
+    "version": "0.143",
    "build": 0,
    "date": 0
 }