On Sat, Jan 15, 2022 at 10:57:58AM +0000, Werner LEMBERG wrote: > >> Masamichi-san, what do you think? [...] > > > > I think it is not necessary to filter out U+3000. > > Thanks for checking. This is good news, since it makes Gavin's patch > work just fine. > > > Werner
Hello Werner I have committed your addition to texinfo.tex as well as the change for HTML output (commit cbc6972b5).
