Merge branch 'rochade'
authormirabilos <tg@debian.org>
Sun, 31 Jan 2021 18:49:44 +0000 (19:49 +0100)
committermirabilos <mirabilos@evolvis.org>
Sun, 31 Jan 2021 18:49:44 +0000 (19:49 +0100)

Trivial merge