On Mon, Feb 20, 2023 at 01:59:21PM +0000, Jelmer Vernooij wrote: > I've created a PR for devref - > https://salsa.debian.org/debian/developers-reference/-/merge_requests/41 fwiw, merged into developers-reference 12.16 in sid.
-- cheers, Holger ⢀⣴⠾⠻⢶⣦⠀ ⣾⠁⢠⠒⠀⣿⡁ holger@(debian|reproducible-builds|layer-acht).org ⢿⡄⠘⠷⠚⠋⠀ OpenPGP: B8BF54137B09D35CF026FE9D 091AB856069AAA1C ⠈⠳⣄ A ship is always safe at shore, but that is not what it's built for. (Albert Einstein)