merging libstdc++ contributors into main GCC list

[Phil Edwards]

On Thu, Nov 07, 2002 at 01:16:07AM +0100, Gabriel Dos Reis wrote:
> Janis Johnson <janis187@us.ibm.com> writes:
> 
> | The list of Java contributors has now been merged into the main list
> | of GCC contributors in gcc/doc/contrib.texi.  Now I'd like to merge
> | in the list of libstdc++ contributors that is currently in
> | wwwdocs/htdocs/libstdc++/thanks.html.
> 
> I have no objection.

Me neither.  I've been accumulating changes to thanks.html over the past
10 days; let me check those in first.


sigh.  I need either to learn to live with less sleep, or some of those
Mini-Me clones.

Phil

-- 
I would therefore like to posit that computing's central challenge, viz. "How
not to make a mess of it," has /not/ been met.
                                                 - Edsger Dijkstra, 1930-2002