Hi, I have updated the documentation patch here and added relevant maintainers so hopefully this can go in soon: https://gcc.gnu.org/ml/gcc-patches/2019-12/msg00311.html
I moved the paragraph in changes.html to the C section like you suggested. Would it make sense to link to the porting_to entry? Cheers, Wilco
