diff options
-rw-r--r-- | ChangeLog | 4 | ||||
-rw-r--r-- | Config/version.mk | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/ChangeLog b/ChangeLog index 5d899bfc0..79ba92457 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2015-08-30 Peter Stephenson <p.w.stephenson@ntlworld.com> + + * unposted: Config/version.mk: Release version 5.1 + 2015-08-29 Daniel Shahaf <d.s@daniel.shahaf.name> * 36321: Completion/Debian/Command/_debcheckout: _debcheckout: diff --git a/Config/version.mk b/Config/version.mk index ab5bf4cf4..90ed6b17f 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.0.8-test-3 -VERSION_DATE='August 21, 2015' +VERSION=5.1 +VERSION_DATE='August 30, 2015' |