]> git.proxmox.com Git - pve-omping.git/commit
d/control: fix priority-extra-is-replaced-by-priority-optional
authorThomas Lamprecht <t.lamprecht@proxmox.com>
Wed, 10 Jul 2019 15:45:28 +0000 (17:45 +0200)
committerThomas Lamprecht <t.lamprecht@proxmox.com>
Wed, 10 Jul 2019 15:45:28 +0000 (17:45 +0200)
commita85ab126d06dfed118460be535a7c866b89250d2
tree9299ded7bb123e49fc440a30efa2390f8098f7b3
parentaa433d385d7bc46da3f6e92b736ac04ad6eff758
d/control: fix priority-extra-is-replaced-by-priority-optional

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