- bump version number for new release
[bootmanager.git] / source / configuration
index 6d97e05..c6b811b 100644 (file)
@@ -4,7 +4,7 @@
 
 
 # the current version of the bootmanager
-VERSION=3.1.11
+VERSION=3.1.12
 
 
 # full url to which api server to contact