[PATCH STABLE] strip: set current bookmark to None if stripped

[Matt Mackall]

On Tue, 2013-09-17 at 15:18 -0500, Sean Farley wrote:
> # HG changeset patch
> # User Sean Farley <sean.michael.farley at gmail.com>
> # Date 1378584430 18000
> #      Sat Sep 07 15:07:10 2013 -0500
> # Branch stable
> # Node ID f33dec43e9afbdf966abbb1a290fdc38efb09d59
> # Parent  fd4f612f7cb6413940d4cf2052334cd23f60e042
> strip: set current bookmark to None if stripped

Looks good, queued for stable.

-- 
Mathematics is the supreme nostalgia of our time.