tree 4d8c3f5d4b24527feaea5397b2759cd9b9fc4a53
parent 0417e54bec27aed35421a53271aaf0484adc892e
author Werner Lemberg <wl@gnu.org> 1658684664 +0200
committer Werner Lemberg <wl@gnu.org> 1658684996 +0200

* configure: s/egrep/grep -E/

`egrep` is deprecated.