Merge pull request #1222 from ivaradi/new-drone-debian
authorIstván Váradi <ivaradi@users.noreply.github.com>
Thu, 25 Jul 2019 16:58:29 +0000 (18:58 +0200)
committerGitHub <noreply@github.com>
Thu, 25 Jul 2019 16:58:29 +0000 (18:58 +0200)
Reinstate Debian build in the new Drone config


Trivial merge