log

age author description
Fri, 08 Sep 2023 20:34:41 +0200 Pierre-Yves David branching: merge with stable
Wed, 21 Jun 2023 21:57:44 +0200 Pierre-Yves David tags: avoid expensive access to repo.changelog in a loop stable