Such suggestions should be discussed on the mailing lists not in comments on a 
random PR

--
https://forge.sourceware.org/gcc/gcc-wwwdocs/pulls/3#issuecomment-7538

Reply via email to