On Thu, May 10, 2018 at 10:13 AM, Robert Haas <[email protected]> wrote:
> On Thu, May 10, 2018 at 12:58 PM, Alvaro Herrera > <[email protected]> wrote: > > David G. Johnston wrote: > >> As a user I don't really need to know which model is implemented and the > >> name doesn't necessarily imply the implementation. Pruning seems to be > the > >> commonly-used term for this feature and we should stick with that. > > > > I agree with this conclusion. So we have it right and we shouldn't > > change it. > > +1. > > 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. David J.
