Tell user how to fix CI file being not up to date#82013
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 12, 2021
Merged
Tell user how to fix CI file being not up to date#82013bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom