log

age author description
Tue, 05 Jun 2018 03:37:15 +0200 Pierre-Yves David branching: merge with stable
Tue, 05 Jun 2018 03:36:40 +0200 Pierre-Yves David changelog: fix version number error stable