version: bump primary version

The date for man pages is taken from the last commit, so in this case
it makes sense to do this in two commits.

diff --git a/version b/version
index 9beb74d490bcac4ce1c67a584dd97ac4924247ed..948a5472708b304823aceb324422d55a5fe93b1f 100644 (file)
--- a/version
+++ b/version
@@ -1 +1 @@
-0.13.2
+0.14