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)
commite41e7de40445b3d040726b0b22872048755a1828
tree9a9c5c31b6953f4302259b7075b758ebb39b50ac
parentb0f788415f0fa7a54e65cc9a2b72957e8c734b3c
parentb389eed6b06ef1d013d251b7e98081370c70b37b
Merge pull request #1942 from ivaradi/disco-groovy

Remove Ubuntu Disco, add Groovy