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)
commit12d0fbf8c54d76b0d63429f7e038425bea2ee7f1
tree51cdcdef031fb901c31afbd959689a5812a8aa0c
parent0bcd4f958bc92fad42cd32b0403bf957e9e9ab69
parent91ceb5aff37f2bd3e905fb24b9bd29db3c229408
Merge branch 'buildserver-fixes' into 'master'

buildserver fixes

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

See merge request !162