On Tue, 3 Jun 2003, Steven Bosscher wrote:
His tree contains code from Paul (at least 1/3 of all code), myself and
others who have contributed in the past. And of course he links with
the middle-end in the binary that he distributes. The standard
assignment does not allow you to link proprierty code to GPLed code, or
to take ownership of code contributed by others.
In that case, you *should* get RMS involved (or, rather,
license-violation@gnu.org, as described at
<http://www.gnu.org/licenses/gpl-violation.html>); it may not be necessary
to get him involved in micromanagement of official GNU maintainers and
different forks when the appropriate fork can simply be included in GCC on
technical grounds, but GPL violations are a matter where the FSF does need
to get involved.