Mon, 06 Apr 2020 02:17:43 +0200 | Pierre-Yves David | head-checking: backport fix from 7d5455b988ec | changeset | files |
Mon, 06 Apr 2020 04:01:58 +0200 | Pierre-Yves David | head-checking: filter out obsolete heads when checking for new heads | changeset | files |