https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88104
--- Comment #5 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> --- > --- Comment #4 from Martin Sebor <msebor at gcc dot gnu.org> --- > Agreed. If you already have a bug tracking this change to the harness please > feel free to resolve this one. Otherwise I suggest to use this one for it. It's on my todo list which should be enough ;-) However, using this one seems perfectly reasonable.
