On Wed, Aug 20, 2025 at 02:56:05AM +0100, Andrew Bower wrote: > I wonder if it might be a good idea, to prevent this happening again, > changing debian/* to something more appropriate and then carving out an > exception for the one patch by the previous maintainer?
Sorry, I meant to suggest changing debian/patches/*

