------- Comment #16 from davek at gcc dot gnu dot org 2007-04-17 18:47 ------- Oh, BTW, congratulations Tom on being appointed a libcpp maintainer! <grin-grin-hint-hint-nudge-nudge-wink-wink....> -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14331