[PATCH] bookmarks: allow pushing active bookmark on new remote head (issue5236)

[Yuya Nishihara]

On Wed, 25 May 2016 07:01:59 +0200, Piotr Listkiewicz wrote:
> I think it should be good to go on stable
> 
> 2016-05-25 0:04 GMT+02:00 Sean Farley <sean at farley.io>:
> 
> >
> > liscju <piotr.listkiewicz at gmail.com> writes:
> >  
> > > # HG changeset patch
> > > # User liscju <piotr.listkiewicz at gmail.com>
> > > # Date 1464125787 -7200
> > > #      Tue May 24 23:36:27 2016 +0200
> > > # Node ID b8913ddebb3dc5f73b1ca2e17206bcfa64bcd217
> > > # Parent  ceca932c080d0de52ece0e8dd0226f006c7b9cb1
> > > bookmarks: allow pushing active bookmark on new remote head (issue5236)

Pushed to committed#stable. Thanks for quick fix.