diff options
-rw-r--r-- | ChangeLog | 2 | ||||
-rw-r--r-- | Config/version.mk | 4 |
2 files changed, 4 insertions, 2 deletions
diff --git a/ChangeLog b/ChangeLog index 4fd97cea8..1cf6b5edf 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2018-09-14 Daniel Shahaf <d.s@daniel.shahaf.name> + * unposted: Config/version.mk: Post-release version bump. + * 43457: Config/version.mk, Etc/FAQ.yo, NEWS, README: Release 5.6.2 diff --git a/Config/version.mk b/Config/version.mk index 33ce37195..8448544b1 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.6.2 -VERSION_DATE='September 14, 2018' +VERSION=5.6.2-dev-0 +VERSION_DATE='September 15, 2018' |