ci-build: Use a mirror that hopefully works better than Sourceforge
authorSimon McVittie <smcv@collabora.com>
Wed, 27 Sep 2017 14:38:20 +0000 (15:38 +0100)
committerSimon McVittie <smcv@collabora.com>
Wed, 27 Sep 2017 14:38:35 +0000 (15:38 +0100)
commitc6e79f9113d320679d3c29f83b306cb6e5d81bee
treeb0b3da5a1b57f26df4985817164a7c40fb21267a
parent49446d4b362ec4d0205b60f4cf883cf7e97ecabc
ci-build: Use a mirror that hopefully works better than Sourceforge

Signed-off-by: Simon McVittie <smcv@collabora.com>
tools/ci-build.sh