jaikiran commented on PR #203: URL: https://github.com/apache/ant/pull/203#issuecomment-1710984197
Hello Sebastian, thank you for reporting this issue and providing a fix that too with a test case. This is a very well done patch. I've merged this and also included your name in our contributors list. The merged commit is https://github.com/apache/ant/commit/f3796ab1af7c6481553b758962cf7286099aaa67 -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
