Dennis Brakhane 31d41d83c3 Remove duplicate comments
A few single line comments were duplicated, probably due to bad merges.

This commit removes the obviously duplicate ones.
2021-04-25 20:03:52 +02:00
..
2021-04-25 20:03:52 +02:00
2021-04-25 20:03:52 +02:00