On Feb 21, 2024, at 11:54 AM, David Wheeler <david(at)justatheory(dot)com> wrote:
> Merged this change into the [to_regtypemod patch](https://commitfest.postgresql.org/47/4807/), which has exactly the same issue.
>
> The new status of this patch is: Needs review
Bah, withdrawn.
D