diff options
Diffstat (limited to 'Config')
| -rw-r--r-- | Config/version.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Config/version.mk b/Config/version.mk index 78cfd7421..2d5b6d51e 100644 --- a/Config/version.mk +++ b/Config/version.mk @@ -27,5 +27,5 @@ # This must also serve as a shell script, so do not add spaces around the # `=' signs. -VERSION=3.1.7-pre-3 -VERSION_DATE='May 8, 2000' +VERSION=3.1.7-pre-4 +VERSION_DATE='May 21, 2000' |