uschindler commented on PR #11873: URL: https://github.com/apache/lucene/pull/11873#issuecomment-1290731341
> This looks fine to me. Migration entry would be probably good here since some folks may be collection JUL logs and parsing messages from there (although for what reason - I've no idea). Actually by default there would be no change to end user because Java Platform Logging will feed messages to JUL anyways. -- 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: issues-unsubscr...@lucene.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org For additional commands, e-mail: issues-h...@lucene.apache.org
