log

age author description
Wed, 11 Oct 2023 02:02:46 +0200 Pierre-Yves David branching: merge stable into default
Tue, 10 Oct 2023 18:29:04 +0200 Joerg Sonnenberger cleanup: typos, formatting stable