diff options
Diffstat (limited to 'src/tools')
| -rwxr-xr-x | src/tools/version_stamp.pl | 2 |
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; |