On Thu, May 10, 2018 at 10:13 AM, Robert Haas <robertmh...@gmail.com> wrote:
> On Thu, May 10, 2018 at 12:58 PM, Alvaro Herrera > <alvhe...@2ndquadrant.com> 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.
