On Wed, May 13, 2020 at 6:58 AM Peter Geoghegan <pg@bowt.ie> wrote:
> Shouldn't you close out the "Should we rename
> effective_io_concurrency?" Postgres 13 open item now?
Yeah, that doesn't really seem worth the churn. I'll move it to the
resolved list in a day or two if no one shows up to argue for a
rename.