Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Replace use of egrep with grep -E (#2876)
egrep is deprecated and warns about this since version 3.8: https://www.gnu.org/software/grep/manual/grep.html
- Loading branch information