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 /git-debrebase.1.pod | |
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 'git-debrebase.1.pod')
0 files changed, 0 insertions, 0 deletions