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.
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.