[PATCH 1/5] debian: change priority to optional.
david at tethera.net
david at tethera.net
Wed Jan 16 04:44:18 PST 2013
From: David Bremner <bremner at debian.org>
The distinction between extra and optional is generally not very
important, except that being extra forces anything that depends on you
to be extra.
---
debian/changelog | 1 +
debian/control | 2 +-
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/debian/changelog b/debian/changelog
index dd07aa1..2fa2cf6 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,7 @@
notmuch (0.15~rc1-1) experimental; urgency=low
* New upstream release candidate.
+ * Change priority to optional (Closes: #687217).
-- David Bremner <bremner at debian.org> Mon, 07 Jan 2013 21:40:52 -0400
diff --git a/debian/control b/debian/control
index f725276..ed026b0 100644
--- a/debian/control
+++ b/debian/control
@@ -1,6 +1,6 @@
Source: notmuch
Section: mail
-Priority: extra
+Priority: optional
Maintainer: Carl Worth <cworth at debian.org>
Uploaders:
Jameson Graef Rollins <jrollins at finestructure.net>,
--
1.7.10.4
More information about the notmuch
mailing list