Sat, 10 Nov 2018 16:01:31 +0100 | Pierre-Yves David | next: use the `hint` argument of bail if changed | changeset | files |
Sat, 10 Nov 2018 15:59:16 +0100 | Pierre-Yves David | prev: use the `hint` argument of bail if changed | changeset | files |
Sat, 10 Nov 2018 15:28:44 +0100 | Pierre-Yves David | next: explicitly specify --no-evolve in the tests | changeset | files |
Sat, 10 Nov 2018 15:47:46 +0100 | Pierre-Yves David | branching: merge with stable | changeset | files |