chiark / gitweb /
~ian / chiark-utils.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a4f4239) | patch
Debian packaging: fix priority "extra"
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 21 Aug 2022 22:17:44 +0000 (23:17 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 21 Aug 2022 22:55:58 +0000 (23:55 +0100)
commitcb3bebe6aae4f05f08d687c00f01b930515be2de
tree2747769c736ec4b9620e88ff59aa95eb2e074391tree | snapshot
parenta4f423967540e7a48349f051c89eb94616324d73commit | diff
Debian packaging: fix priority "extra"

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