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