Fri, 14 Jun 2019 18:17:03 +0800 | Anton Shestakov | pick: register pickstate as an unfinished state | changeset | files |
Fri, 14 Jun 2019 18:14:57 +0800 | Anton Shestakov | pick: rename variable for unfinishedstates | changeset | files |
Fri, 14 Jun 2019 18:26:24 +0800 | Anton Shestakov | pick: actually delete pickstate if --abort is given | changeset | files |
Tue, 18 Jun 2019 17:17:31 +0800 | Anton Shestakov | evolve: orphans that evolve into nothing don't need successors (issue5967) | changeset | files |