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
