Bump version number to 0.13-pre1.

diff --git a/ChangeLog b/ChangeLog
index ce56227856d7b9f2d99349b4838d8d66f91ce6f2..cc85f1b578720034cd4bd52339e123f38b9fbb4a 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2003-11-16  Bruno Haible  <bruno@clisp.org>
+
+       * version.sh: Bump version number to 0.13-pre1.
+
 2003-11-15  Bruno Haible  <bruno@clisp.org>
 
        * PACKAGING: Add examples.

diff --git a/version.sh b/version.sh
index ecfd42a820eb51fc21db3d13d319e615f2ffcbf0..837cf9eb7fc62f2c0416096d51a27848dad71810 100644 (file)
--- a/version.sh
+++ b/version.sh
@@ -1,3 +1,3 @@
 # Version number and release date.
-VERSION_NUMBER=0.12.2
-RELEASE_DATE=2003-08-23      # in "date +%Y-%m-%d" format
+VERSION_NUMBER=0.13-pre1
+RELEASE_DATE=2003-11-16      # in "date +%Y-%m-%d" format