[davmail] 01/03: priority extra should be optional

[Alexandre Rossi]

This is an automated email from the git hooks/post-receive script.

niol-guest pushed a commit to branch master
in repository davmail.

commit 0d1355474346c3b4d7557f6b08538bbb17387d38
Author: Alexandre Rossi <alexandre.rossi at gmail.com>
Date:   Tue Oct 24 21:53:23 2017 +0200

    priority extra should be optional
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 48edb89..6dd83d3 100644
--- a/debian/control
+++ b/debian/control
@@ -2,7 +2,7 @@ Source: davmail
 Maintainer: Alexandre Rossi <alexandre.rossi at gmail.com>
 Uploaders: Geert Stappers <stappers at debian.org>
 Section: net
-Priority: extra
+Priority: optional
 Build-Depends: debhelper (>= 10),
                default-jdk,
                ant,

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/davmail.git