diff options
-rwxr-xr-x | configure.pl | 2 | ||||
-rwxr-xr-x | misc/config/mkconfig.pl | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/configure.pl b/configure.pl index 3a119c235..96466187c 100755 --- a/configure.pl +++ b/configure.pl @@ -21,7 +21,7 @@ my $PROJECT_NAME_LC = lc $PROJECT_NAME; my $MAJOR_VERSION = 1; my $MINOR_VERSION = 5; -my $PATCH_VERSION = 8; +my $PATCH_VERSION = 9; # If 1, then we always copy include files, without attempting to make symlinks # or hardlinks. It seems that link("","") will succeed on Windows, but the diff --git a/misc/config/mkconfig.pl b/misc/config/mkconfig.pl index 6552e1ef9..4dde5a205 100755 --- a/misc/config/mkconfig.pl +++ b/misc/config/mkconfig.pl @@ -11,7 +11,7 @@ my $PROJECT_NAME = 'Botan'; # Version numbers my $MAJOR = 1; my $MINOR = 5; -my $PATCH = 8; +my $PATCH = 9; ############################################################################# # Configuration options |