bug#36815: dfa up to date?

[Paul Eggert]

On 7/28/19 1:08 AM, arn...@skeeve.com wrote:
You're not imagining things, and someone needs to review that. It's on my list.
Thanks Paul.
Any ETA?

Before the next grep release, surely. But I don't have an ETA for that 
either.