diff options
author | David Bremner <bremner@debian.org> | 2013-01-07 22:20:00 -0400 |
---|---|---|
committer | David Bremner <bremner@debian.org> | 2013-01-14 21:01:39 -0400 |
commit | 061152dfca6d679c80c22c0c291bdebf6f7b05db (patch) | |
tree | 7fca39abda5c0ad45d10ef06006953a399ff52b1 | |
parent | 4b5b6f02cc943b83270ad5061166e5d9967b2899 (diff) |
debian: change priority to optional.
The distinction between extra and optional is generally not very
important, except that being extra forces anything that depends on you
to be extra.
-rw-r--r-- | debian/changelog | 1 | ||||
-rw-r--r-- | debian/control | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index dd07aa1a..2fa2cf6e 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@debian.org> Mon, 07 Jan 2013 21:40:52 -0400 diff --git a/debian/control b/debian/control index f7252769..ed026b09 100644 --- a/debian/control +++ b/debian/control @@ -1,6 +1,6 @@ Source: notmuch Section: mail -Priority: extra +Priority: optional Maintainer: Carl Worth <cworth@debian.org> Uploaders: Jameson Graef Rollins <jrollins@finestructure.net>, |