On 04/07/2023 19:46, Paul Eggert wrote:
On 2023-07-04 04:08, Pádraig Brady wrote:Paul has now done this in: https://github.com/coreutils/coreutils/commit/d727aba60Oh, sorry, I hadn't seen the change that you circulated earlier. If there's any other pending changes like that, it'd be nice to get them installed too. Could I help with that?
No it's all cool. Just finalizing threads and informing the list about recent changes. cheers, Pádraig
