On 1/6/20 10:25 AM, Stefan Seelmann wrote: > yes, please open a Jira. Done here: https://issues.apache.org/jira/browse/DIRSTUDIO-1247
--------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
