Leo Famulari writes: > On Tue, Jul 17, 2018 at 09:27:45PM +0100, Christopher Baines wrote: >> The following patches attempt to remove the duplicates, favouring the >> original package definition. > > I sent one comment, otherwise the patches LGTM. Thanks, I've now fixed that issue and pushed :)