msokolov commented on PR #12360: URL: https://github.com/apache/lucene/pull/12360#issuecomment-1587648171
It sounds to me as if order is no longer important. We wouldn't change the order because these are stored in the index, but if say someone was adding a new option for some reason, they shouldn't be encouraged to try to maintain a priority order? Just at it at the end right? I think you could entirely delete the comment? -- 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
