publish-toolstate: ping maintainers when a tool builds again#55598
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 3, 2018
Merged
publish-toolstate: ping maintainers when a tool builds again#55598bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
