Merge branch 'release'

[notmuch] / version

diff --git a/version b/version
index 22477c6322a03c0df4731a059b604c708c22db06..7d385d419cc848ee6394256288edbcd8f4f7522a 100644 (file)
--- a/version
+++ b/version
@@ -1 +1 @@
-0.17~rc1
+0.25