David G. Johnston wrote:
> Seems like if it stays the name is good - but at this point no has voiced
> opposition to removing it and making the name a moot point.
If we think the probability of bugs is 0%, then I'm all for removing it.
I don't. I vote to remove the GUC in a couple of releases, once it's
proven completely useless.
--
Álvaro Herrera https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services