Stamp HEAD as 9.3devel.

Let the hacking begin ...

1 files changed, 1 insertions, 1 deletions

diff --git a/src/tools/version_stamp.pl b/src/tools/version_stamp.pl
index e8cc38feb7..5ec5def49e 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 = 2;
+$major2 = 3;
 
 # Validate argument and compute derived variables
 $minor = shift;