Remove visit_subpats parameter from check_pat #60152
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 23, 2019
stepnivlk:visit_subpats-removal
Merged
Remove `visit_subpats` parameter from `check_pat` #60152bors merged 1 commit intorust-lang:masterfrom stepnivlk:visit_subpats-removal
bors merged 1 commit intorust-lang:masterfrom
stepnivlk:visit_subpats-removal
Commits
Commits on Apr 22, 2019
- committed
Tomas Koutsky