Just for the records: no matter whether and what version of grep we ship with Geany, you can always change the grep command in the preferences and so easily choose your own version when desired.

—
Reply to this email directly or view it on GitHub.