PyVCG Release 1.0.3

florianschanda · florianschanda · commit dad2e56db037 · 2023-08-23T15:00:58.000+02:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -8,7 +8,7 @@
 ## Changelog
 
 
-### 1.0.3-dev
+### 1.0.3
 
 * Pin to CVC5 1.0.5, as 1.0.7 is completely broken
 
diff --git a/pyvcg/version.py b/pyvcg/version.py
@@ -23,7 +23,7 @@
 ##############################################################################
 
 VERSION_TUPLE = (1, 0, 3)
-VERSION_SUFFIX = "dev"
+VERSION_SUFFIX = ""
 
 PYVCG_VERSION = ("%u.%u.%u" % VERSION_TUPLE) + \
     ("-%s" % VERSION_SUFFIX if VERSION_SUFFIX else "")
