Commit 9a00282efce6350e438cd2b9ef779cbc4a5c4d8b

Werner Lemberg 2022-07-24T19:44:24

* configure: s/egrep/grep -E/ `egrep` is deprecated.