Thu, 11 Jul 2019 22:23:32 -0700 | Martin von Zweigbergk | evolve: rename variable "children" to "child" where it's clearly singular | changeset | files |
Thu, 11 Jul 2019 16:24:13 -0700 | Martin von Zweigbergk | evolve: remove some unused variables | changeset | files |
Thu, 11 Jul 2019 09:38:42 -0700 | Martin von Zweigbergk | py3: back out 23323092f0a7 | changeset | files |
Wed, 17 Jul 2019 18:06:14 +0200 | Pierre-Yves David | branching: merge with stable | changeset | files |