Update some of the 'how to do a release' documentation

[nmh] / VERSION

diff --git a/VERSION b/VERSION
index 29b86d6f3270e6f09cbdaf3e8ab3c6f63ae57d6b..cd438c9560581114f4639c905444d9daf92a3709 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.2-RC1
+1.3-dev