On Sun, Jun 21, 2020 at 09:10:35AM +0200, Fabien COELHO wrote:
> While reviewing a documentation patch, I noticed that a few tags where wrong
> in "catalog.sgml". Attached patch fixes them.
Good catches, thanks Fabien. I will fix that tomorrow or so.
--
Michael