On Thu, Dec 22, 2022 at 5:36 AM Peter Eisentraut
<peter(dot)eisentraut(at)enterprisedb(dot)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.