summaryrefslogtreecommitdiff
path: root/debian/control
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2020-05-30 16:11:21 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2020-05-30 19:36:23 -0400
commitb0e1f258af094abe0332b3d379d41fb36cccef69 (patch)
treebc9cb29c1a3a351148d5a8a773d2eeb5c5d1b47f /debian/control
parent0ddd52122a12092b684be5af50e45bd02d5091f7 (diff)
Use Priority: optional, not Priority: extra
Priority: extra has been deprecated; use Priority: optional instead.
Diffstat (limited to 'debian/control')
-rw-r--r--debian/control2
1 files changed, 1 insertions, 1 deletions
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 <bbaren@mit.edu>
Build-Depends:
curl,