Re: Small run-time pruning doc fix

[David Rowley]

On 13 November 2018 at 02:46, Peter Eisentraut
<peter.eisentr...@2ndquadrant.com> wrote:
> Committed your change.

Thanks.


-- 
 David Rowley                   http://www.2ndQuadrant.com/
 PostgreSQL Development, 24x7 Support, Training & Services