Re: [PR] Use Collections.addAll() instead of manual array copy [lucene]

dweiss commented on code in PR #12977: URL: https://github.com/apache/lucene/pull/12977#discussion_r1442253173 ## lucene/misc/src/java/org/apache/lucene/misc/index/IndexSplitter.java: ## @@ -67,18 +66,10 @@ public static void main(String[] args) throws Exception { if (args[

Re: [PR] Use Collections.addAll() instead of manual array copy [lucene]

dweiss commented on code in PR #12977: URL: https://github.com/apache/lucene/pull/12977#discussion_r1441428909 ## lucene/misc/src/java/org/apache/lucene/misc/index/IndexSplitter.java: ## @@ -67,18 +66,10 @@ public static void main(String[] args) throws Exception { if (args[