From: David Bremner <bremner@debian.org>
Date: Tue, 8 Jan 2013 02:20:00 +0000 (-0400)
Subject: debian: change priority to optional.
X-Git-Tag: 0.15_rc1~6
X-Git-Url: https://git.notmuchmail.org/git?p=notmuch;a=commitdiff_plain;h=061152dfca6d679c80c22c0c291bdebf6f7b05db;hp=061152dfca6d679c80c22c0c291bdebf6f7b05db

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