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/control | |
| 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/control')
| -rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
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>, |