[v3] Re: libstdc++ license

[Benjamin Kosnik]

> > 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? I'm confused.

-benjamin