bin/version.py: correction public
authorAnthony Stone <ajs1@cam.ac.uk>
Tue, 20 Nov 2018 11:01:46 +0000 (11:01 +0000)
committerAnthony Stone <ajs1@cam.ac.uk>
Tue, 20 Nov 2018 11:27:58 +0000 (11:27 +0000)
VERSION

diff --git a/VERSION b/VERSION
index 6f94819..fa9cf9f 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1,3 +1,3 @@
 VERSION    := 5.0
-PATCHLEVEL := 07
+PATCHLEVEL := 08