Merge branch 'ci-master-fedora-30' into 'master'
authorChristoph Reiter <reiter.christoph@gmail.com>
Fri, 10 May 2019 14:19:16 +0000 (14:19 +0000)
committerChristoph Reiter <reiter.christoph@gmail.com>
Fri, 10 May 2019 14:19:16 +0000 (14:19 +0000)
CI: update docker image to Fedora 30

See merge request GNOME/gtk!802


Trivial merge