------- Comment #4 from tobi at gcc dot gnu dot org 2006-05-18 14:40 -------
Paul, I've looked at the patch and it looks ok. You don't seem to have posted
it, at least it's not in the patch tracker. Did you find any problems
associated with it?
--
tobi at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |tobi at gcc dot gnu dot org,
| |paul dot richard dot thomas
| |at cea dot fr
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27613
