diff options
| -rwxr-xr-x | configure.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.pl b/configure.pl index d73ac6236..af797b4ee 100755 --- a/configure.pl +++ b/configure.pl @@ -9,7 +9,7 @@ use File::Copy; my $MAJOR_VERSION = 1; my $MINOR_VERSION = 5; -my $PATCH_VERSION = 11; +my $PATCH_VERSION = 12; my $VERSION_STRING = "$MAJOR_VERSION.$MINOR_VERSION.$PATCH_VERSION"; |