summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog6
-rw-r--r--Config/version.mk4
2 files changed, 7 insertions, 3 deletions
diff --git a/ChangeLog b/ChangeLog
index 4052a8234..b8d5d990e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-05-31  Peter Stephenson  <pws@csr.com>
+
+	* unposted: Config/version.mk: release 4.3.12.
+
 2011-05-29  Nikolai Weibull <now@bitwi.se>
 
 	* unposted: Completion/Unix/Command/_git: Update git-branch completion
@@ -14879,5 +14883,5 @@
 
 *****************************************************
 * This is used by the shell to define $ZSH_PATCHLEVEL
-* $Revision: 1.5345 $
+* $Revision: 1.5346 $
 *****************************************************
diff --git a/Config/version.mk b/Config/version.mk
index c2ffd4450..37193970a 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=4.3.11-dev-4
-VERSION_DATE='May 23, 2011'
+VERSION=4.3.12
+VERSION_DATE='May 31, 2011'