Hi Holger,
> > So, I heard a vague rumour that this "buster" thing was released? I
> > was thus wondering whether we could apply my patch from:
[…]
> https://bugs.debian.org/926242#117 makes me think this is not to be
> applied against jenkins.debian.net.git?
Pre-buster, perhaps? I don't quite see why we cannot and should not
fix it "upstream" in d-i instead? Indeed, fixing it on our Jenkins
instance would surely be rather ugly and essentially involve special-
casing, hardcoding a patch, etc. etc. Ew.
(If we should fix it in d-i, I'll create a MR or similar but I'll
save that until there is some form of ACK...)
Regards,
--
,''`.
: :' : Chris Lamb
`. `'` la...@debian.org 🍥 chris-lamb.co.uk
`-
