On Wed, Aug 19, 2020 at 04:03:31PM -0300, Tulio Magno Quites Machado Filho via 
Gcc-patches wrote:
> Replace them with a whitespace in order to avoid artifacts in the HTML
> document.

Pushed to trunk now.  Thanks!


Segher

Reply via email to