]> git.proxmox.com Git - spiceterm.git/commit
d/control: fix priority-extra-is-replaced-by-priority-optional
authorThomas Lamprecht <t.lamprecht@proxmox.com>
Wed, 22 May 2019 14:19:19 +0000 (16:19 +0200)
committerThomas Lamprecht <t.lamprecht@proxmox.com>
Wed, 22 May 2019 14:19:19 +0000 (16:19 +0200)
commit63cb9598e3b5ee2cd1f4de4a089a7055149f6faf
treecd9b6cc2e365718948203f487d919fe13eca21da
parent16ca49dad037093a8b47de96ac66211cab2d9a8c
d/control: fix priority-extra-is-replaced-by-priority-optional

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