Skip to content

Remove outdated line from publish_toolstate hook#77312

Merged
bors merged 1 commit intorust-lang:masterfrom
LeSeulArtichaut:toolstate-msg
Oct 2, 2020
Merged

Remove outdated line from `publish_toolstate` hook#77312
bors merged 1 commit intorust-lang:masterfrom
LeSeulArtichaut:toolstate-msg

Commits

Commits on Oct 1, 2020