switch to dev version

kif · kif · commit 797c1938c08d · 2025-12-15T08:54:19.000+01:00
diff --git a/version.py b/version.py
@@ -65,8 +65,8 @@
                        "final": 15}
 MAJOR = 2025
 MINOR = 12
-MICRO = 0
-RELEV = "beta"  # <16
+MICRO = 1
+RELEV = "dev"  # <16
 SERIAL = 0  # <16
 
 date = __date__
