On Wed, May 13, 2020 at 6:58 AM Peter Geoghegan <p...@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.
