diff --git a/dev_version.m4 b/dev_version.m4 index b8626c4cff..7ed6ff82de 100644 --- a/dev_version.m4 +++ b/dev_version.m4 @@ -1 +1 @@ -4 +5