Prepare for release 0.12.

diff --git a/ChangeLog b/ChangeLog
index 086aec161eeedee5809a60a8814907bfb2ddb382..ae03b809d4d2525d49f55c439c1ae0fc2f9ad332 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2003-05-17  Bruno Haible  <haible@clisp.cons.org>
+
+       * version.sh: Bump version number to 0.12.
+
 2003-05-08  Bruno Haible  <haible@clisp.cons.org>
 
        * PACKAGING: Update for changed default value of $mandir and $docdir.

diff --git a/version.sh b/version.sh
index 60126bac29061b1eb0182c368443271661b5cfd5..0b989c3d4c13b08c9a8173b5f52e9a2c0a49f44c 100644 (file)
--- a/version.sh
+++ b/version.sh
@@ -1,3 +1,3 @@
 # Version number and release date.
-VERSION_NUMBER=0.12-pre4
-RELEASE_DATE=2003-05-06      # in "date +%Y-%m-%d" format
+VERSION_NUMBER=0.12
+RELEASE_DATE=2003-05-17      # in "date +%Y-%m-%d" format