[PATCH V2] histedit: make histedit prune when obsolete is enabled

[Matt Mackall]

On Sat, 2015-10-17 at 13:19 -0700, Durham Goode wrote:
> # HG changeset patch
> # User Durham Goode <durham at fb.com>
> # Date 1445110343 25200
> #      Sat Oct 17 12:32:23 2015 -0700
> # Node ID fe3d27cac5088a9f6d46b06ba579d03697270893
> # Parent  e1568d5eb0522b3ab20a1cbb15ec06f6d198c9a8
> histedit: make histedit prune when obsolete is enabled

Queued for default, thanks.

-- 
Mathematics is the supreme nostalgia of our time.