Jonas Schäfer f2c79044e0 Clean up post-merge lint ...

I am a *bit* sorry for this commit, because ideally this would've been
folded into 6d50b1c2c7 and whatever the
source of the other "conflict" was.

However, as the things have been merged in a batch, I can't do much more
than this.

2022-06-06 19:52:24 +02:00

4.9 KiB

Raw Blame History

View Raw