On Thu, Jul 25, 2019 at 12:51 PM Michael Paquier <mich...@paquier.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
