d/control: fix priority-extra-is-replaced-by-priority-optional
authorThomas Lamprecht <t.lamprecht@proxmox.com>
Thu, 16 May 2019 15:12:51 +0000 (17:12 +0200)
committerThomas Lamprecht <t.lamprecht@proxmox.com>
Thu, 16 May 2019 15:12:51 +0000 (17:12 +0200)
commitb94d4081a0730cbd4028a37043271406fa0b7dbf
treead90eb85042bc463d904ed8dabeb3e2ef2fa098c
parent7e7b29389eb130dbb013aeb597f7a360f68c6ba2
d/control: fix priority-extra-is-replaced-by-priority-optional

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