Hi,
On 2019-06-10 22:42:52 -0400, Alvaro Herrera wrote:
> On 2019-May-30, Andres Freund wrote:
> > On 2019-05-30 16:31:39 +0530, Ashutosh Sharma wrote:
> > > Here are some more details on the crash reported in my previous e-mail for
> > > better clarity:
> >
> > I'll look into this once pgcon is over... Thanks for finding!
>
> Ping?
:( I've now finally pushed the fix. I was kinda exhausted for a
while...
Ashutosh, thanks for the report!
Greetings,
Andres Freund