Merge pull request #1942 from ivaradi/disco-groovy
authorIstván Váradi <ivaradi@users.noreply.github.com>
Sun, 26 Apr 2020 07:24:53 +0000 (09:24 +0200)
committerGitHub <noreply@github.com>
Sun, 26 Apr 2020 07:24:53 +0000 (09:24 +0200)
Remove Ubuntu Disco, add Groovy


Trivial merge