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
Merged

Small cleanup in `check_pat_path`#61791
bors merged 1 commit intorust-lang:masterfrom
Centril:cleanup-check_pat_path

Commits

Commits on Jun 13, 2019