rust/src/ci/docker/scripts/android-sdk-manager.py, branch 1.36.0

rust/src/ci/docker/scripts/android-sdk-manager.py, branch 1.36.0 https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.36.0 2019-04-12T20:18:48+00:00 ci: use a custom android sdk manager with pinning and mirroring 2019-04-12T20:18:48+00:00 Pietro Albini pietro@pietroalbini.org 2019-04-12T20:07:13+00:00 urn:sha1:4e920f2b04d61e2e54a080423bd766c5df1a97c8