Merge branch 'android-ndk-r17b' into 'master'74cde71ceb8fc7459bc9bdf13836a5178a43cbb7
commit74cde71ceb8fc7459bc9bdf13836a5178a43cbb7
authorPhilip Withnall <philip@tecnocode.co.uk>
Fri, 22 Jun 2018 17:19:46 +0000 (22 17:19 +0000)
committerPhilip Withnall <philip@tecnocode.co.uk>
Fri, 22 Jun 2018 17:19:46 +0000 (22 17:19 +0000)
tree4902a08ad3b7747d0739e5289532321ab411f7f0
parente5ff26d6577b51612cbfcece4b9d157e7f7549e5
parentca2fc30dea08268fbeb36c395f8a0c394fe0b712
Merge branch 'android-ndk-r17b' into 'master'

Few updates to the CI

See merge request GNOME/glib!133