Merge remote-tracking branch 'origin/patch-2' into patch
authorNicola Chiapolini <redacted>
Fri, 14 Jun 2024 13:35:20 +0000 (15:35 +0200)
committerNicola Chiapolini <redacted>
Fri, 14 Jun 2024 13:35:20 +0000 (15:35 +0200)

Trivial merge
git clone https://git.99rst.org/PROJECT