On 2022-Sep-05, Jürgen Purtz wrote: > - <sect1 id="xtypes"> > + <sect1 xml:id="xtypes"> > <title>User-Defined Types</title>
OK, these seem quite significant changes that are likely to cause great pain. So I repeat my question, what are the benefits of making this change? They better be very very substantial. -- Álvaro Herrera Breisgau, Deutschland — https://www.EnterpriseDB.com/ "The Gord often wonders why people threaten never to come back after they've been told never to return" (www.actsofgord.com)