------- Comment #16 from bonzini at gnu dot org 2007-09-20 07:02 ------- Ok for both 4.2 and 4.3. BTW, the best way to prod people is to post on gcc-patches (putting the full PR name, e.g. PR bootstrap/31906, in the title), and set the URL field in the PR.
Thanks! -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31906
