about summary refs log tree commit diff
path: root/Config
diff options
context:
space:
mode:
Diffstat (limited to 'Config')
-rw-r--r--Config/version.mk4
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'