On Tue, 18 Nov 2025 20:41:39 +0100 Aurélien COUDERC <[email protected]> wrote: > the best course of action maybe to simply drop the patch > at this stage.
Why not upstrean the patch? The problem it fixes seems not very Debian specific. -- mvg, Alex Hermann
