summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog5
-rw-r--r--Config/version.mk4
2 files changed, 7 insertions, 2 deletions
diff --git a/ChangeLog b/ChangeLog
index 0a1ac628c..e9d945748 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2016-12-22 Daniel Shahaf <d.s@daniel.shahaf.name>
+
+ * unposted: Config/version.mk: Post-release version bump to
+ 5.3.1-dev-0.
+
2016-12-21 Peter Stephenson <p.w.stephenson@ntlworld.com>
* unposted: Config/version.mk, Etc/FAQ.yo, NEWS, README:
diff --git a/Config/version.mk b/Config/version.mk
index 5f6bd4efa..0ebed5e78 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=5.3.1
-VERSION_DATE='December 21, 2016'
+VERSION=5.3.1-dev-0
+VERSION_DATE='December 22, 2016'