chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 538b7a3) | patch
control: Change priority of dgit-infrastruture to extra
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 8 Sep 2019 18:42:57 +0000 (19:42 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 8 Sep 2019 18:42:57 +0000 (19:42 +0100)
commitb414f0e3d74a8d6db8f57aee2f655d3ffccb9e0f
tree7c2ea1330810fa717598596161e17c36069539c1tree | snapshot
parent538b7a3606aa9fd3e39b08c4ee1bad6c1030985dcommit | diff
control: Change priority of dgit-infrastruture to extra

Pursuant to policy upgrading checklist.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
debian/control diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.