diff options
| -rw-r--r-- | ChangeLog | 2 | ||||
| -rw-r--r-- | Config/version.mk | 4 |
2 files changed, 4 insertions, 2 deletions
@@ -1,5 +1,7 @@ 2018-09-03 Daniel Shahaf <d.s@daniel.shahaf.name> + * unposted: Config/version.mk: Post-release version bump. + * unposted: Config/version.mk: Release 5.6. 2018-09-03 Anthony Sottile <asottile@umich.edu> diff --git a/Config/version.mk b/Config/version.mk index 6bd5734bf..d9df2263f 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 -VERSION_DATE='September 3, 2018' +VERSION=5.6-dev-0 +VERSION_DATE='September 4, 2018' |