diff --git a/docs/.current_minor_release_number b/docs/.current_minor_release_number
index b4de39476..48082f72f 100644
--- a/docs/.current_minor_release_number
+++ b/docs/.current_minor_release_number
@@ -1 +1 @@
-11
+12
diff --git a/docs/.logger_revnum b/docs/.logger_revnum
index 8dd46a1f8..ef30fe925 100644
--- a/docs/.logger_revnum
+++ b/docs/.logger_revnum
@@ -1 +1 @@
-dd8e950033d5
+4e3941b13ca8