Ups, we should leave the version file on 1.2, so the diff will get

built properly when I release 1.3.

diff --git a/VERSION b/VERSION
index f0bb29e76388856b273698ae6064b0380ce5e5d2..5625e59da8873d8077c1fb0feb605078b34b640e 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.3.0
+1.2