On 2019-11-16 10:40:17 -0800, Peter Geoghegan wrote:
> On Sat, Nov 16, 2019 at 10:14 AM Andres Freund <andres@anarazel.de> wrote:
> > Indeed, thanks for catching. I'm off till Monday... If you want to push the addition...
>
> No problem. I'll push a fix now.
Thanks!