diff --git a/docs/.current_minor_release_number b/docs/.current_minor_release_number index 98d9bcb75..3c032078a 100644 --- a/docs/.current_minor_release_number +++ b/docs/.current_minor_release_number @@ -1 +1 @@ -17 +18 diff --git a/docs/.logger_revnum b/docs/.logger_revnum index d47755d13..96fd0f9dd 100644 --- a/docs/.logger_revnum +++ b/docs/.logger_revnum @@ -1 +1 @@ -2944 +2987