Re: configure and DocBook XML

Fri, 27 Nov 2020 09:56:19 -0800 

Hi Tom,

> On 27. Nov, 2020, at 18:54, Tom Lane <[email protected]> wrote:
> 
> See the other thread I pointed to.

ok, thanks.

Cheers,
Paul

Reply via email to