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. -- Gaby