------- Comment #3 from pault at gcc dot gnu dot org 2007-05-16 09:50 ------- Over to you, Daniel - I was smiling when I mentioned using the time for something else; there was no need to apologise.
Paul
--
pault at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|pault at gcc dot gnu dot org|dfranke at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31930
