------- Additional Comments From bangerth at dealii dot org 2004-01-29 17:13 ------- This should go onto mainline, 3.4 and 3.3 branch. All other branches regularly merge from mainline. w. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13899