------- Comment #6 from bangerth at gmail dot com 2010-04-07 16:17 ------- Jason, thanks a lot for the quick turnaround, and my apologies for not testing this stuff on a more frequent basis so I find earlier than the day before branch day :-)
W. -- bangerth at gmail dot com changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution| |FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43648