From 061152dfca6d679c80c22c0c291bdebf6f7b05db Mon Sep 17 00:00:00 2001
From: David Bremner <bremner@debian.org>
Date: Mon, 7 Jan 2013 22:20:00 -0400
Subject: 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/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'debian/control')

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>,
-- 
cgit v1.2.3