On Mon, 09 Jan 2023 15:18:18 -0500 Tom Lane <[email protected]> wrote:
> I pushed the ID-addition patch, with a few fixes: > > * AFAIK our practice is to use "-" never "_" in XML ID attributes. > You weren't very consistent about that even within this patch, and > the overall effect would have been to have no standard about that > at all, which doesn't seem great. I changed them all to "-". Apologies for not catching this. Regards, Karl <[email protected]> Free Software: "You don't pay back, you pay forward." -- Robert A. Heinlein
