On Thu, Nov 5, 2020 at 12:07 PM Tomas Vondra <tomas.von...@enterprisedb.com> wrote: > It's been running for hours on both machines, without any crashes etc. > While that's not a definitive proof the fix is correct, it certainly > behaves differently.
Thanks! Embarrassed to have missed that. Pushed.
