On Monday 06 July 2015 at 14:54:06 +0100, Jonathan Wakely wrote: > Do you have a copyright assignment in place for GCC contributions? Not yet. From my reading of https://gcc.gnu.org/contribute.html I should probably ask you for the forms. :-) Mike.