On 2023-07-04 04:08, Pádraig Brady wrote:
Paul has now done this in: https://github.com/coreutils/coreutils/commit/d727aba60
Oh, 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?