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.
This commit is contained in:
David Bremner 2013-01-07 22:20:00 -04:00
parent 4b5b6f02cc
commit 061152dfca
2 changed files with 2 additions and 1 deletions

1
debian/changelog vendored
View file

@ -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

2
debian/control vendored
View file

@ -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>,