On Thu, Jun 28, 2012 at 10:18:49AM +0200, Andreas Schwab wrote: > libgomp.texi is still using gpl.texi, although libgomp has been > relicensed to GPLv3 in 2009. OK?
Yes.
>
> * libgomp.texi: Include gpl_v3.texi instead of gpl.texi.
Jakub
