On 9/23/20 11:02 AM, Daniel Gustafsson wrote:
>> 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.
Thanks. I've gone ahead and committed + pushed.
Jonathan