version: bump to 0.25.3

[notmuch] / version

diff --git a/version b/version
index 166c9e29b70b1e6a84168e2e608430f62da4254a..3d9dcb1ba9ed80e780408a7db9168ca8f7b898c9 100644 (file)
--- a/version
+++ b/version
@@ -1 +1 @@
-0.25.2
+0.25.3