Remove priority from dbg packages
authorIustin Pop <iustin@debian.org>
Mon, 29 Oct 2018 20:35:19 +0000 (21:35 +0100)
committerIustin Pop <iustin@debian.org>
Mon, 29 Oct 2018 20:35:19 +0000 (21:35 +0100)
commitf86b12ae3b795ee81d5c4fceb4217126a8ffda2b
tree6caeca3ddf6b0576b4392e72e09adbe8e809c3de
parent5757db9a4aece2e11a640337070f0ef6cb931d80
Remove priority from dbg packages

"extra" doesn't exist anymore, but its replacement ("optional") is
superfluous given the source package is already optional. So just drop
it.
debian/control