bump version to 0.23.5

[notmuch] / version

diff --git a/version b/version
index 40a6dfede5db8965ee31ceae3d85bfa12bae3326..f6de00174468ba8adbdb9efb8bec427f2709c2ac 100644 (file)
--- a/version
+++ b/version
@@ -1 +1 @@
-0.23.4
+0.23.5