diff README @ 3624:6756f2a85f5b

evolve: make sure bookmarks are moved after phase-divergence resolution This patch adds logic to move bookmarks from the rebased node to the phase-divergence resolved node.
author Pulkit Goyal <7895pulkit@gmail.com>
date Fri, 23 Mar 2018 17:49:26 +0530
parents 472a67075756
children 6352dc395ebf
line wrap: on
line diff