diff --git a/docs/.current_minor_release_number b/docs/.current_minor_release_number index d81cc0710..920a13966 100644 --- a/docs/.current_minor_release_number +++ b/docs/.current_minor_release_number @@ -1 +1 @@ -42 +43 diff --git a/docs/.logger_revnum b/docs/.logger_revnum index 04868c4cf..4d0b5a5ed 100644 --- a/docs/.logger_revnum +++ b/docs/.logger_revnum @@ -1 +1 @@ -e516e232b942 +43d280b34aa9