Merge branch 'gitlab-ci-gtk-3-22' into 'gtk-3-22'
authorChristoph Reiter <reiter.christoph@gmail.com>
Sun, 4 Mar 2018 11:54:24 +0000 (11:54 +0000)
committerChristoph Reiter <reiter.christoph@gmail.com>
Sun, 4 Mar 2018 11:54:24 +0000 (11:54 +0000)
Add gitlab-ci support using a prebuilt docker image

See merge request GNOME/gtk!18


Trivial merge