------- Additional Comments From paulthomas2 at wanadoo dot fr 2005-02-02 12:40 ------- It's funny that you signal this. I was going to suggest to the list that I fix it. I was not sure that it really is a bug but it is a nuisance and is very easily fixed.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19678
