d/control: fix priority-extra-is-replaced-by-priority-optional
authorThomas Lamprecht <t.lamprecht@proxmox.com>
Wed, 22 May 2019 12:44:48 +0000 (14:44 +0200)
committerThomas Lamprecht <t.lamprecht@proxmox.com>
Wed, 22 May 2019 12:44:48 +0000 (14:44 +0200)
commit97c4672027e8326ec469cb2d78484a3eec03cda8
tree0ada61cf4237b4938c61fc78b0f020e44c4aec61
parent5ce5090487e831035707a57bfb7faabe351236e4
d/control: fix priority-extra-is-replaced-by-priority-optional

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