bug#36815: dfa up to date?

[Paul Eggert]

On 7/28/19 4:03 PM, Paul Eggert wrote:
> Before the next grep release, surely. But I don't have an ETA for that either.

This is down now so I'm closing the bug report.