version: bump to 0.13

[notmuch] / version

diff --git a/version b/version
index 80fa719dcdbf3fbb0c7c935721399a02766c0297..f3040840fd7058ec0e224314c609184fd4ec53f2 100644 (file)
--- a/version
+++ b/version
@@ -1 +1 @@
-0.13~rc1
+0.13