On Sat, Mar 30, 2019 at 11:32 PM Thomas Munro <thomas(dot)munro(at)gmail(dot)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