diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-09-08 19:42:57 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-09-08 19:42:57 +0100 |
| commit | b414f0e3d74a8d6db8f57aee2f655d3ffccb9e0f (patch) | |
| tree | 7c2ea1330810fa717598596161e17c36069539c1 /debian | |
| parent | 538b7a3606aa9fd3e39b08c4ee1bad6c1030985d (diff) | |
control: Change priority of dgit-infrastruture to extra
Pursuant to policy upgrading checklist.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control index 3edda13..88a9925 100644 --- a/debian/control +++ b/debian/control @@ -58,7 +58,7 @@ Depends: ${misc:Depends}, perl, git-core, gpgv, chiark-utils-bin, liblocale-gettext-perl Recommends: dgit Architecture: all -Priority: extra +Priority: optional Description: dgit server backend infrastructure This package contains tools which are useful for setting up a dgit git repository server. You probably want dgit, the client package, |