unposted: Release 5.7.1

zsh-users · Feb 3, 2019 · 8b89d0d · 8b89d0d
1 parent 0220822
commit 8b89d0d
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 4 deletions.
diff --git a/ChangeLog b/ChangeLog
@@ -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
 

diff --git 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'
diff --git 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

diff --git a/README b/README
@@ -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