On 10.03.20 14:35, Robert Metzger wrote:
I'm wondering whether we should file a ticket to remove the *.bat files in bin/ ?
We can leave them there because they're not doing much harm, and removing them might actively break some existing setup.
Best, Aljoscha
