Merge branch 'ci-cleanup' into 'master'8683e029be90e871ebfea8ce225d2bbc268f8169
commit8683e029be90e871ebfea8ce225d2bbc268f8169
authorPhilip Withnall <philip@tecnocode.co.uk>
Tue, 5 Jun 2018 22:30:16 +0000 (5 22:30 +0000)
committerPhilip Withnall <philip@tecnocode.co.uk>
Tue, 5 Jun 2018 22:30:16 +0000 (5 22:30 +0000)
tree3515d3d21f0c7b3ea16d228b791e922afe58a5bd
parent0a36314b28f42e20f8885e4a6e6936b228ec8e46
parent79c1cd21f2285eabb2c129c632c980b468549a47
Merge branch 'ci-cleanup' into 'master'

ci: small cleanups

See merge request GNOME/glib!62