Comment 13 for bug 1416375

Revision history for this message
Luis Henriques (henrix) wrote :

I'm attaching a new debdiff that includes the suggestion in comment #9: it also drops option 'single-debian-patch' from debian/source/options. This fixes the additional changes to the 'debian/patches/debian-changes' file.