> On 22 Mar 2023, at 04:19, Hayato Kuroda (Fujitsu) <[email protected]> > wrote:
> I have also grepped to detect another wrong markups, and I think at least > "<entry>PostgreSQL</entry>" should be changed. PSA the patch. I agree with that analysis, this instance should be marked up with <productname> but not the other ones. I'll go ahead with your patch after some testing. -- Daniel Gustafsson
