On 7/11/14 2:12 PM, Paul Eggert wrote:
Yes, that's the basic idea. Sorry I did not explain it clearly enough. Please feel free to forward this on to the Austin group.
Later Austin group commentary <https://www.austingroupbugs.net/view.php?id=789#c2689> suggested that this issue is no reason to change how 'grep' behaves, so I'm closing the grep bug report.
