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 692c0ab3b..7533f525a 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2019-02-03 dana <dana@dana.is> + * unposted: Config/version.mk: Post-release version bump + * unposted: Config/version.mk, Etc/FAQ.yo, README: Update for 5.7.1 diff --git a/Config/version.mk b/Config/version.mk index 7d931f29b..e4fda2f16 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.7.1 -VERSION_DATE='February 3, 2019' +VERSION=5.7.1-dev-0 +VERSION_DATE='February 4, 2019' |