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)
