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;ds=sidebyside

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

diff --git a/debian/changelog b/debian/changelog
index dd07aa1a..2fa2cf6e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -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
 
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>,