d/control: fix priority-extra-is-replaced-by-priority-optional
authorThomas Lamprecht <t.lamprecht@proxmox.com>
Tue, 21 May 2019 20:11:48 +0000 (22:11 +0200)
committerThomas Lamprecht <t.lamprecht@proxmox.com>
Tue, 21 May 2019 20:11:48 +0000 (22:11 +0200)
commitd0b0a77a1ebc876482cd9ce3b3903c1c0d68b48b
tree3b42614a0576e772c35ec963f440a7e93aa74de0
parent8f3aa9cc800cf0c6375aaec81186493e1f1db2be
d/control: fix priority-extra-is-replaced-by-priority-optional

Signed-off-by: Thomas Lamprecht <t.lamprecht@proxmox.com>
debian/control