log

age author description
Tue, 26 Jan 2021 17:14:29 +0100 Pierre-Yves David branching: merge with stable
Fri, 22 Jan 2021 05:37:43 +0100 Sushil khanchi divergence-resolution: deal with simple "just one moved case" earlier
Fri, 22 Jan 2021 04:54:51 +0100 Pierre-Yves David divergence-resolution: remove explicite hash in some command