Re: document that MergeAppend can now prune

[Amit Langote]

On 2018/08/24 22:55, Michael Paquier wrote:
> On Fri, Aug 24, 2018 at 01:29:32PM +0900, Amit Langote wrote:
>> Attached patch fixes that.
> 
> Good catch!  Committed.

Thank you.

Regards,
Amit