Skip to content

Small cleanup in check_pat_path#61791

Merged
bors merged 1 commit intorust-lang:masterfrom
Centril:cleanup-check_pat_path
Jun 13, 2019

Commits

Commits on Jun 13, 2019