ci: use a custom android sdk manager with pinning and mirroring#59926
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 15, 2019
Merged
ci: use a custom android sdk manager with pinning and mirroring#59926bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
