Make cargo priority optional from extra

Priority extra is deprecated from Debian policy 4.0.1.

diff --git a/debian/control b/debian/control
index c533c1ad4b8de1f05a7096fda1224aed41d94962..dd2794edbf7c37b43deff38184d639fd8634ea54 100644 (file)
--- a/debian/control
+++ b/debian/control
@@ -5,7 +5,7 @@ Uploaders: Luca Bruno <lucab@debian.org>,
  Angus Lees <gus@debian.org>,
  Ximin Luo <infinity0@debian.org>,
  Vasudev Kamath <vasudev@copyninja.info>
-Priority: extra
+Priority: optional
 # :native annotations are to support cross-compiling, see README.Debian of rustc
 Build-Depends: debhelper (>= 9.20141010),
                dpkg-dev (>= 1.17.14),