publish_toolstate.py: further fix the runtime errors#58541
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 18, 2019
Merged
publish_toolstate.py: further fix the runtime errors#58541bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
