Bump version number.

diff --git a/version.sh b/version.sh
index cec44e76e9af5fdfe0d500ca5dc6d721b0bb2d0e..15d746d7b57ab5d89aeae4d7e345a204ae88ad59 100644 (file)
--- a/version.sh
+++ b/version.sh
@@ -1,3 +1,3 @@
 # Version number and release date.
-VERSION_NUMBER=0.12-pre1
-RELEASE_DATE=2003-02-18      # in "date +%Y-%m-%d" format
+VERSION_NUMBER=0.12-pre3
+RELEASE_DATE=2003-04-01      # in "date +%Y-%m-%d" format