debian: change priority to optional.

[obsolete/notmuch-old] / version

diff --git a/version b/version
index 49d59571fbf6e077eece30f8c418b6aad15e20b0..2856407c03e614f617fde7b7111b9734afc0940c 100644 (file)
--- a/version
+++ b/version
@@ -1 +1 @@
-0.1
+0.15