Kai Lüke 17e2dbc8c3 Cleanup files from build bot commit
The upstream patches were applied with a conflict.
These extra files were not deleted when resolving.
2020-05-18 17:48:37 +02:00
..