On Sat, Mar 30, 2019 at 11:32 PM Thomas Munro <thomas.mu...@gmail.com> wrote: > Here's an attempt to write a suitable comment for the quick fix. And > I suppose effective_io_concurrency is a reasonable default.
Pushed. -- Thomas Munro https://enterprisedb.com