Re: [PATCH 2/3] dfa: new option DFA_STRAY_BACKSLASH_WARN

[Paul Eggert]

On 6/6/22 12:37, Jim Meyering wrote:
Once you push that (and assuming you have nothing else pending), I'll
prepare another pre-release snapshot.

Thanks, I pushed it into grep master, after fixing the commentary issue 
Bruno noted.