[v3] Re: libstdc++ license

[Jason Merrill]

>>>>> "Benjamin" == Benjamin Kosnik <bkoz@redhat.com> writes:

>> > Many of the files were already under SGI's and HP's copyright.  Can't
>> > change those.
>> 
>> Well, we can.  The HP/SGI license does not preclude us from putting our
>> modified versions under the GPL any more than it precludes people from
>> using the STL in non-free code.

> Really?

> I had no idea. So, what should be done? If possible, it would be nice to
> have the library under one license. Would the STL bits then be both BSD
> and Runtime GPL'd?

Yes.  They would be subject to the restrictions from both licenses.

Jason