Fix duplicate documents in Bazel index aggregation#972

jupblb merged 1 commit into

mainscip-code/scip-java:mainfrom

fix-bazel-duplicate-documentsscip-code/scip-java:fix-bazel-duplicate-documentsCopy head branch name to clipboard