Mark branch 'rochade' as merged into 'master'
authormirabilos <tg@debian.org>
Sun, 31 Jan 2021 19:53:47 +0000 (20:53 +0100)
committermirabilos <mirabilos@evolvis.org>
Sun, 31 Jan 2021 19:53:47 +0000 (20:53 +0100)

Trivial merge