From b0e1f258af094abe0332b3d379d41fb36cccef69 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sat, 30 May 2020 16:11:21 -0400 Subject: Use Priority: optional, not Priority: extra Priority: extra has been deprecated; use Priority: optional instead. --- debian/control | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/control b/debian/control index a51f91d9..9bf019f0 100644 --- a/debian/control +++ b/debian/control @@ -1,6 +1,6 @@ Source: urweb Section: devel -Priority: extra +Priority: optional Maintainer: Benjamin Barenblat Build-Depends: curl, -- cgit v1.2.3