Re: Potential grep bug?

[Todd C . Miller]

On Wed, 22 Jul 2020 20:57:56 +0200, Martijn van Duren wrote:

> Any takers?

OK millert@

 - todd