Re: [PATCH] Fix `make syntax-check'.

[Paul Eggert]

On 2/27/20 1:02 PM, Zack Weinberg wrote:

OK for master?

Of course. Routine fixes like this are welcome.