On 2019-11-16 10:40:17 -0800, Peter Geoghegan wrote: > On Sat, Nov 16, 2019 at 10:14 AM Andres Freund <[email protected]> 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!
