On 2026-07-16 16:55, Luca Boccassi wrote:
I had already mentioned here https://github.com/coreutils/coreutils/pull/317#issuecomment-4944632425 that I can send a patch for gnulib so that all of this is done in one place, if you wish. Do you want me to do that?
Sounds like a good way to get going. The usual way to propose a patch here is to use 'git format-patch' followed by 'git send-email' to bug-gnulib.
