diff options
Diffstat (limited to 'make-version.pl')
| -rwxr-xr-x | make-version.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make-version.pl b/make-version.pl index 569e1ae91b..dfc6ba9592 100755 --- a/make-version.pl +++ b/make-version.pl @@ -76,7 +76,7 @@ my $set_release = 0; my %version_pref = ( "version_major" => 1, "version_minor" => 12, - "version_micro" => 8, + "version_micro" => 9, "version_build" => 0, "enable" => 1, |