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