Subject: bug#36815: dfa up to date?

From: Paul Eggert <[email-masked]>
Date: Sun, 28 Jul 2019 18:03:50 -0500

On 7/28/19 1:08 AM, [email-masked] 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.