refactor: use grep -E/-F instead of fgrep/egrep#102092
Merged
bors merged 2 commits intorust-lang:masterfrom Oct 15, 2022
Merged
refactor: use grep -E/-F instead of fgrep/egrep#102092bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom
