https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50642
--- Comment #13 from Jon Grant <jg at jguk dot org> --- Hello Could this be committed to the trunk please?
- [Bug web/50642] onlinedocs formated text too small... jg at jguk dot org
- [Bug web/50642] onlinedocs formated text too ... manu at gcc dot gnu.org
