Bug#1138992: coreutils: New upstream release (9.12)

[Michael Stone]

On Sun, Nov 08, 2026 at 10:47:53AM +0100, Sylvestre Ledru wrote:

Michael, would you be ok if we create a git repo to manage this package ?

no, please do not