log

age author description
Wed, 27 Jan 2021 18:03:44 +0800 Anton Shestakov changelog: update for 10.2.0
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