On 2018/05/11 2:13, Robert Haas 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.
+1 from me too. Thanks, Amit