Sigh. Mention that we have to do both a "git push" and a "git push --tags".

[nmh] / VERSION

diff --git a/VERSION b/VERSION
index 5601a1d..0118937 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-nmh-1.0.1
+1.6+dev