-
Adam Mercer authored
this has not been tested due to lack of time, but according to the Debian packaging documentation: https://wiki.debian.org/PackageTransition this should work, hopefully there will be no issues. Original: 4ac534fe7c34f10b7227075e767f138e0de0e0d8
fc281f9a