https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87347
--- Comment #2 from Martin Jambor <jamborm at gcc dot gnu.org> --- So I did not manage to do so last week but I have submitted it today: https://gcc.gnu.org/ml/gcc-patches/2018-09/msg01373.html
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87347
--- Comment #2 from Martin Jambor <jamborm at gcc dot gnu.org> --- So I did not manage to do so last week but I have submitted it today: https://gcc.gnu.org/ml/gcc-patches/2018-09/msg01373.html