Tue, 24 Mar 2020 23:43:28 +0100 | Manuel Jacob | evolve: remove unused divergenceflag and splitflag of MultipleSuccessorsError | changeset | files |
Sat, 21 Mar 2020 20:36:41 +0100 | Manuel Jacob | evolve: consider all obsolete ancestors when finding new parent for orphan | changeset | files |