diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2020-05-30 16:11:21 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2020-05-30 19:36:23 -0400 |
commit | b0e1f258af094abe0332b3d379d41fb36cccef69 (patch) | |
tree | bc9cb29c1a3a351148d5a8a773d2eeb5c5d1b47f /debian/control | |
parent | 0ddd52122a12092b684be5af50e45bd02d5091f7 (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/control | 2 |
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, |