------- Comment #8 from ebotcazou at gcc dot gnu dot org 2007-11-21 12:40 ------- > Why don't you ping directly the relevant maintainers? Probably because I have other things more interesting to do. :-) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34118