Closed adrelanos closed 4 years ago
This PR kind of slipped through the cracks (sorry!) Although I doubt the Debian packaging here will be maintained, there's no harm in merging this PR when we already have the debian directory in the tree anyway. So I just did.
debian
This PR kind of slipped through the cracks (sorry!) Although I doubt the Debian packaging here will be maintained, there's no harm in merging this PR when we already have the
debian
directory in the tree anyway. So I just did.