unposted: Post-release version bump.

This commit is contained in:
Daniel Shahaf
2017-08-28 00:34:28 +00:00
parent 6ff4787e83
commit ab6ac7313d
2 changed files with 6 additions and 2 deletions

View File

@@ -27,5 +27,5 @@
# This must also serve as a shell script, so do not add spaces around the
# `=' signs.
VERSION=5.4.2
VERSION_DATE='August 27, 2017'
VERSION=5.4.2-dev-0
VERSION_DATE='August 28, 2017'