On Sun, Mar 24, 2019 at 4:57 PM Jonas Smedegaard wrote: > Perhaps sensible to drop the general patch in those cases to save space? Seems like a good idea to me. We will need a fixup script to remove the existing duplicates and a patch to the source comparison script to detect and delete the duplicates. -- bye, pabs https://wiki.debian.org/PaulWise