From 7f66023858c5f66f8b7275fbbce5e70dd40e89a0 Mon Sep 17 00:00:00 2001
From: Vasudev Kamath <vasudev@copyninja.info>
Date: Fri, 27 Oct 2017 22:42:12 +0530
Subject: [PATCH] Make cargo priority optional from extra

Priority extra is deprecated from Debian policy 4.0.1.
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index c533c1ad4..dd2794edb 100644
--- 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),
-- 
2.30.2