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 /debian | |
| 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.
Diffstat (limited to 'debian')
| -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>, |