bootstrap.sh: use "grep -E" instead of "egrep", suggested by shellcheck
authorAntonio Ospite <ao2@ao2.it>
Mon, 18 Dec 2017 15:03:32 +0000 (16:03 +0100)
committerAntonio Ospite <ao2@ao2.it>
Mon, 18 Dec 2017 15:03:32 +0000 (16:03 +0100)

No differences found