------- Comment #5 from bangerth at dealii dot org 2007-03-26 03:13 ------- Manuel, thanks for (re-)submitting the patch today. I don't have the infrastructure to test patches any more these days, but I appreciate that someone takes up the issue again.
I think the text duplication is not the biggest issue. It could be tackled later on, but I think it is more important to fix the issue. Thanks W. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14737
