Re: patchset v2: remove remaining internal uses of AC_EGREP_{CPP, HEADER}

[Zack Weinberg]

On Mon, Apr 3, 2023, at 12:53 AM, Paul Eggert wrote:
> Thanks, I took a quick look at all the patches and see no issues.

These have been pushed now (actually, yesterday).

zr