changeset 24944 | 08ec11e3ae4c |
parent 24709 | 69154e0ae384 |
child 24947 | a02d293a1079 |
--- a/hgext/strip.py Wed May 06 17:15:38 2015 +0200 +++ b/hgext/strip.py Mon Apr 13 21:53:37 2015 -0700 @@ -61,7 +61,7 @@ marks = repo._bookmarks if bookmark: if bookmark == repo._bookmarkcurrent: - bookmarks.unsetcurrent(repo) + bookmarks.deactivate(repo) del marks[bookmark] marks.write() ui.write(_("bookmark '%s' deleted\n") % bookmark)