Re: shipping patches from Debian in Fedora package: licensing