control: Change priority of dgit-infrastruture to extra

Pursuant to policy upgrading checklist.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/debian/control b/debian/control
index 3edda13d8c1a75dd11074e66b686b7a68bc8cdf4..88a9925e334220195837df8fc04bdc5ec98fa0d2 100644 (file)
--- 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,