Hi,
On 2019-04-04 15:05:55 -0400, Robert Haas wrote:
> On Wed, Apr 3, 2019 at 10:32 PM Masahiko Sawada <sawada(dot)mshk(at)gmail(dot)com> wrote:
> > Attached the updated version patch.
>
> Committed with a little bit of documentation tweaking.
I've closed the commitfest entry. I hope that's accurate?
Greetings,
Andres Freund