diff README @ 4595:3a3be1378634

evolve: increment progress *after* a whole merge commit is done The "re-stabilize" step was using the progress that was supposed to be for the next revision.
author Martin von Zweigbergk <martinvonz@google.com>
date Fri, 19 Apr 2019 10:03:39 -0700
parents 669b32100eca
children 48b30ff742cb
line wrap: on
line diff