Merge pull request #1896 from ivaradi/debian-new
authorIstván Váradi <ivaradi@users.noreply.github.com>
Fri, 1 May 2020 09:15:07 +0000 (11:15 +0200)
committerGitHub <noreply@github.com>
Fri, 1 May 2020 09:15:07 +0000 (11:15 +0200)
Reorganize Debian build


Trivial merge