------- Comment #6 from bangerth at dealii dot org 2006-09-27 04:57 ------- Filing bug reports is certainly a good think no matter what happens: a) If code is finally merged from the branch, we will have to go back to these bug reports to make sure they're really fixed b) If code is never merged, we at least have some sort of measure of how broken a feature really is (see, for example, old -fnew-ra)
That said, I think the attitude "I'm not going to fix this since I may or may not come around to merge some branch in the future" is not helpful. In particular since this is going to be in a release at one point. Some more convincing statement that for example "I've checked the branch and the problem doesn't appear there; it is going to be merged for 4.3" would certainly be nice... W. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29212
