Wed, 25 Jul 2018 14:33:48 -0700 | Martin von Zweigbergk | builddependencies: build inverse dict from forward dict | changeset | files |
Wed, 25 Jul 2018 14:21:49 -0700 | Martin von Zweigbergk | builddependencies: remove a use of defaultdict | changeset | files |
Tue, 31 Jul 2018 09:03:35 +0200 | Pierre-Yves David | branching: merge with stable | changeset | files |
Wed, 25 Jul 2018 15:30:37 -0700 | Martin von Zweigbergk | builddependencies: don't remove found deps when divergence found (issue5946) | changeset | files |