On Thu, Dec 22, 2022 at 5:36 AM Peter Eisentraut <peter.eisentr...@enterprisedb.com> wrote: > This looks like a good improvement to me.
Thanks both. Pushed. > (I have also thought about having this generated from the catalog > definition files somehow, but one step at a time ...) Good plan.