On Thu, May 10, 2018 at 1:51 PM, Alvaro Herrera <alvhe...@2ndquadrant.com> wrote: > 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.
No feature ever written has a 0% probability of bugs. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company