Merge branch 'williamdes-rebuild-and-improve'
authorThomas Bruederli <redacted>
Wed, 27 Oct 2021 20:40:00 +0000 (22:40 +0200)
committerThomas Bruederli <redacted>
Wed, 27 Oct 2021 20:40:00 +0000 (22:40 +0200)

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