diff options
-rw-r--r-- | ChangeLog | 6 | ||||
-rw-r--r-- | Config/version.mk | 4 |
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' |