version: bump to 0.13.1

[obsolete/notmuch-old] / version

diff --git a/version b/version
index f3040840fd7058ec0e224314c609184fd4ec53f2..c317a91891f97e2fe277f61245ff8a7a6d0bd2c5 100644 (file)
--- a/version
+++ b/version
@@ -1 +1 @@
-0.13
+0.13.1