]> git.notmuchmail.org Git - notmuch/commitdiff
debian: change priority to optional.
authorDavid Bremner <bremner@debian.org>
Tue, 8 Jan 2013 02:20:00 +0000 (22:20 -0400)
committerDavid Bremner <bremner@debian.org>
Tue, 15 Jan 2013 01:01:39 +0000 (21:01 -0400)
The distinction between extra and optional is generally not very
important, except that being extra forces anything that depends on you
to be extra.


No differences found