log

age author description
Fri, 25 Nov 2022 15:14:40 +0100 Raphaël Gomès branching: merge stable into default
Tue, 22 Nov 2022 12:44:22 +0100 Pierre-Yves David changelog-v2: add a configuration to disable rank computation