[PATCH 3 of 2] rebase: preserve active bookmark when not at head (issue3813)

[Matt Mackall]

On Mon, 2013-10-14 at 17:16 +0200, pierre-yves.david at ens-lyon.org wrote:
> # HG changeset patch
> # User Pierre-Yves David <pierre-yves.david at ens-lyon.org>
> # Date 1381763579 -7200
> #      Mon Oct 14 17:12:59 2013 +0200
> # Node ID a337eefafeb2ecb6751917932a3fc0f48c81fe50
> # Parent  b94e088ccbedbdcf407658f2e41305027ba58464
> rebase: preserve active bookmark when not at head (issue3813)
> 
> Now that the workind directory parent is preserved, we can preserve the active
> bookmark too.

These are queued for default, thanks.

-- 
Mathematics is the supreme nostalgia of our time.