diff --git a/util/ver b/util/ver
index 6f9175c3c..96443d339 100755
--- a/util/ver
+++ b/util/ver
@@ -1,8 +1,8 @@
 #!/bin/bash
 
-main_ver=1.15.8
+main_ver=1.15.12
 minor_ver=rc0
-arvannginx_ver=7
+arvannginx_ver=1
 version=$main_ver.$minor_ver
 echo $version