Skip to content

Do not ping PR reviewers in toolstate breakage#69449

Merged
bors merged 1 commit intorust-lang:masterfrom JohnTitor:toolstate-pingFeb 28, 2020
+3-4

Commits

Commits on Feb 25, 2020