Merge branch 'release'

[notmuch] / version

diff --git a/version b/version
index d885035312feb53e04df7ada89492ad5639e6f28..fda96dcf630480faba9f7c348e0c757555613e3a 100644 (file)
--- a/version
+++ b/version
@@ -1 +1 @@
-0.12~rc2
+0.23.2