I'm good with it. Thank you! On Tue, Jan 25, 2022 at 6:15 PM David G. Johnston < david.g.johns...@gmail.com> wrote:
> On Tuesday, January 25, 2022, Tom Lane <t...@sss.pgh.pa.us> wrote: > >> Bruce Momjian <br...@momjian.us> writes: >> > How is this patch? >> >> I'd still drop the Tcl bit, or if you must have it, move it to >> pltcl.sgml. Otherwise OK by me. >> >> >> > > Agreed. > > David J. >