debian: change priority to optional.

[obsolete/notmuch-old] / version

diff --git a/version b/version
index bd73f47072b1fe4b9914ec14a7f6d47fcc8f816a..2856407c03e614f617fde7b7111b9734afc0940c 100644 (file)
--- a/version
+++ b/version
@@ -1 +1 @@
-0.4
+0.15