unposted: Release 5.7.1

5 years ago · 8b89d0d577
parent 0220822d82
commit 8b89d0d577
4 changed files with 7 additions and 4 deletions
--- a/3
+++ b/3
@ -1,5 +1,8 @@
 2019-02-03  dana  <dana@dana.is>

+	* unposted: Config/version.mk, Etc/FAQ.yo, README: Update for
+	5.7.1
+
 	* 44034: Completion/Unix/Type/_date_formats: Complete %9./%N,
 	adjust some wording

--- 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-dev-0
-VERSION_DATE='January 25, 2019'
+VERSION=5.7.1
+VERSION_DATE='February 3, 2019'
--- a/Etc/FAQ.yo
+++ b/Etc/FAQ.yo
@ -307,7 +307,7 @@ sect(On what machines will it run?)

 sect(What's the latest version?)

-  Zsh 5.7 is the latest production version.  For details of all the
+  Zsh 5.7.1 is the latest production version.  For details of all the
  changes, see the NEWS file in the source distribution.

  A beta of the next version is sometimes available.  Development of zsh is
--- a/2
+++ b/2
@ -5,7 +5,7 @@ THE Z SHELL (ZSH)
 Version
 -------

-This is version 5.7 of the shell.  This is a stable release.  There are
+This is version 5.7.1 of the shell.  This is a stable release.  There are
 a few visible improvements since 5.6 as well as many bugfixes.

 Note in particular the changes highlighted under "Incompatibilities since