Use `grep -E` instead of deprecated `egrep`#1308

Merged

mrdeep1 merged 1 commit intoobgm:developfrom slokhorst:develop

Jan 6, 2024

+16-16

Commits on Jan 6, 2024

Use grep -E instead of deprecated egrep
slokhorst
committed