1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/version_stamp.pl b/src/tools/version_stamp.pl
index 71f3ecddc7f..5ad28da38cb 100755
--- a/src/tools/version_stamp.pl
+++ b/src/tools/version_stamp.pl
@@ -23,7 +23,7 @@
 # Major version is hard-wired into the script.  We update it when we branch
 # a new development version.
 $major1 = 9;
-$major2 = 3;
+$major2 = 4;
 
 # Validate argument and compute derived variables
 $minor = shift;