The HTML formatting was off (again), so I used git send-email as someone recommended to me in the IRC. Patch is here: https://gcc.gnu.org/ml/gcc-patches/2019-07/msg01670.html
I... think it's good, there? Apologies for all the noise; it's a bit hard getting used to these tools. Sincerely, JeanHeyd
