Skip to content

Improve ignore-filename-regex heuristic#191

Merged
bors[bot] merged 1 commit intomainfrom
ignore-filename-regex
Jul 7, 2022
Merged

Improve ignore-filename-regex heuristic#191
bors[bot] merged 1 commit intomainfrom
ignore-filename-regex

Commits

Commits on Jul 7, 2022