diff --git a/docs/.current_minor_release_number b/docs/.current_minor_release_number
index 48082f72f..b1bd38b62 100644
--- a/docs/.current_minor_release_number
+++ b/docs/.current_minor_release_number
@@ -1 +1 @@
-12
+13
diff --git a/docs/.logger_revnum b/docs/.logger_revnum
index ef30fe925..4187eccfa 100644
--- a/docs/.logger_revnum
+++ b/docs/.logger_revnum
@@ -1 +1 @@
-4e3941b13ca8
+67c3ad208aae