https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79051
--- Comment #13 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot
Uni-Bielefeld.DE> ---
> --- Comment #11 from Martin Sebor <msebor at gcc dot gnu.org> ---
> Thanks. The patch looks good to me. You should be able to commit the patch
> without approval.
Indeed, done.
Rainer
