diff --git a/RELEASE b/RELEASE
index 9ee1f78..ccad953 100644
--- a/RELEASE
+++ b/RELEASE
@@ -1 +1 @@
-1.1.11
+1.1.12
diff --git a/VERSION b/VERSION
index 9ee1f78..ccad953 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.1.11
+1.1.12
diff --git a/doc/Doxyfile b/doc/Doxyfile
index 8675bf6..8731640 100644
--- a/doc/Doxyfile
+++ b/doc/Doxyfile
@@ -31,7 +31,7 @@
 # This could be handy for archiving the generated documentation or
 # if some version control system is used.
 
-PROJECT_NUMBER         = 1.1.11
+PROJECT_NUMBER         = 1.1.12
 
 # With the PROJECT_LOGO tag one can specify an logo or icon that is included
 # in the documentation. The maximum height of the logo should not exceed 55