gnodet commented on PR #13727: URL: https://github.com/apache/maven/pull/13727#issuecomment-6521063443
> > > Actually I wonder if the jansi export should be removed. It is replaced by JLine, but the purpose of this list is to avoid having those jars in the plugin's classloader. If the content of the jansi jar is actually provided by JLine, I think this is the correct way to handle the jansi->JLine change. @arturobernalg > > > > > > > > @gnodet - So what is your proposition? > > Do nothing ? Better, add a comment explaining. -- 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]
