dweiss commented on PR #15396: URL: https://github.com/apache/lucene/pull/15396#issuecomment-3482599263
Thank you! It really looked like a heisenbug. The good thing is that this is only needed as a temporary measure until the next quarterly ecj version is released. I'll take a second look at your patch - I recall filtering isn't really the same as exclusive content - there were some nuances there that caused it to be implemented the way it is... I can't remember what it was though. -- 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]
