Harald Kuhr ca3adb7c45 Minor clean-up.
(cherry picked from commit 6daca00fcd504f03ab70fdbf6ed17fe9fc3de2e0)
2021-12-10 16:51:45 +01:00
..
2021-12-10 16:51:45 +01:00