Paul Eggert wrote:
> I also pushed this:
>
> Subject: [PATCH] maint: update .gitignore for recent gnulib

Thanks for that, and for the fix not to rely on fmt.

Reply via email to