[elmer-doc] 01/01: Change package priority from extra to optional.

[Boris Pek]

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

tehnick pushed a commit to branch master
in repository elmer-doc.

commit 9eb5adee05472710ae74c8cc5d28d743392087b5
Author: Boris Pek <tehnick-8 at yandex.ru>
Date:   Thu Aug 31 00:58:00 2017 +0300

    Change package priority from extra to optional.
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index d6ff8e4..bfaff8e 100644
--- a/debian/control
+++ b/debian/control
@@ -1,6 +1,6 @@
 Source: elmer-doc
 Section: non-free/doc
-Priority: extra
+Priority: optional
 Maintainer: Debian Science Team <debian-science-maintainers at lists.alioth.debian.org>
 Uploaders: "Adam C. Powell, IV" <hazelsct at debian.org>, Boris Pek <tehnick at debian.org>
 Standards-Version: 3.9.6

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/elmer-doc.git