On Thu, Nov 5, 2020 at 12:07 PM Tomas Vondra
<tomas.vondra@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.