chiark / gitweb /
buildserver: allow gradle/sdkmanager to install new platforms