--- Comment #10 from aaw at gcc dot gnu dot org 2009-02-02 19:13 ---
There were problems with my original patch (Sadly, I don't recall the
details.). I haven't looked at this in a while and am unlikely to do so soon.
If someone else wants to look at this, please feel free to do so.
--- Comment #9 from bonzini at gnu dot org 2009-01-31 15:20 ---
PING?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27078
--- Comment #8 from jsm28 at gcc dot gnu dot org 2008-07-04 21:20 ---
Closing 4.1 branch.
--
jsm28 at gcc dot gnu dot org changed:
What|Removed |Added
