]> git.cworth.org Git - obsolete/notmuch-old/commit
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)
commit061152dfca6d679c80c22c0c291bdebf6f7b05db
tree7fca39abda5c0ad45d10ef06006953a399ff52b1
parent4b5b6f02cc943b83270ad5061166e5d9967b2899
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.
debian/changelog
debian/control