Pushed to wwwdocs.
commit e8120aa3ecc3dec9c6ddcd3add2326e94fe5fb1e Author: Jonathan Wakely <jwak...@redhat.com> Date: Wed Aug 19 15:41:44 2020 +0100 Remove stray '>' character diff --git a/htdocs/bugs/index.html b/htdocs/bugs/index.html index 66d9138f..a6631d8a 100644 --- a/htdocs/bugs/index.html +++ b/htdocs/bugs/index.html @@ -222,7 +222,7 @@ submit it according to our <a href="#where">generic instructions</a>. "<code>[Ada]</code>" tag in the subject.)</p> <h2 id="pch">Detailed bug reporting instructions when using a precompiled -header></h2> +header</h2> <p>If you're encountering a bug when using a precompiled header, the first thing to do is to delete the precompiled header, and try running