diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | Config/version.mk | 4 |
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' |