On Thu, May 10, 2018 at 1:51 PM, Alvaro Herrera
<alvherre@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