On Thu, Jul 25, 2019 at 12:51 PM Michael Paquier <michael(at)paquier(dot)xyz> wrote:
> Thanks for the updated patch, this looks good. I have done a series
> of tests keeping my laptop busy and I haven't seen a failure where I
> usually see problems 10%~20% of the time. So that seems to help,
> thanks!
Pushed, thanks.
--
Thomas Munro
https://enterprisedb.com