log

age author description
Fri, 12 Mar 2021 11:13:16 +0100 Pierre-Yves David branching: merge with the wrong head
Fri, 12 Mar 2021 18:07:48 +0800 Anton Shestakov branching: redo the stable->default merge (preserving test changes on default)
Thu, 11 Mar 2021 19:06:38 +0800 Anton Shestakov branching: merge stable into default (preserving test changes on default)