chiark / gitweb /
Merge branch 'buildserver-fixes' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 5 Sep 2016 08:48:49 +0000 (08:48 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 5 Sep 2016 08:48:49 +0000 (08:48 +0000)
buildserver fixes

updates to the Android SDK packages used by `./makebuildserver`

See merge request !162


Trivial merge