I'm wondering whether we should file a ticket to remove the *.bat files in bin/ ?
On Tue, Mar 10, 2020 at 12:46 PM Aljoscha Krettek <[email protected]> wrote: > Since there was no-one that said we should keep the windows scripts and > no-one responded on the user ML thread I'll close the Jira issues/PRs > about extending the scripts. > > Aljoscha >
