https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117206
Thomas Schwinge <tschwinge at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
CC| |gerald at pfeifer dot com,
| |mark at gcc dot gnu.org,
| |redi at gcc dot gnu.org
--- Comment #2 from Thomas Schwinge <tschwinge at gcc dot gnu.org> ---
Resolved; see thread at
<https://inbox.sourceware.org/CACb0b4mxu4mrbbpm_ikptEXgkgoKaxJaVo6=cvmtb6p3+1o...@mail.gmail.com>
"We need to remove the Sphinx HTML docs".
