extras/bash-completion: use grep -E
instead of egrep
#6
The logs for this run have expired and are no longer available.
Loading
grep -E
instead of egrep
#6