Merge branch 'release'

[notmuch] / version

diff --git a/version b/version
index 11509c162e14c02fdf89e3dd1c9b8341922aab29..9e40e75c5d2a4d09d4c51c1e13101816d7209157 100644 (file)
--- a/version
+++ b/version
@@ -1 +1 @@
-0.9~rc2
+0.23.3