> On 23 Sep 2020, at 16:57, Jonathan S. Katz <jkatz@postgresql.org> wrote:
> If you would like me to take care of that addition so I can add and
> rebase against the PG13 release set, I am happy to do that.
Sounds good, feel free to roll it into the rest of your work.
cheers ./daniel