]> source.dussan.org Git - jgit.git/commit
[errorprone] PathFilter#getPathsBestEffort: fix ArrayAsKeyOfSetOrMap 62/204562/6
authorMatthias Sohn <matthias.sohn@sap.com>
Wed, 20 Sep 2023 14:17:00 +0000 (16:17 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Mon, 25 Sep 2023 14:15:35 +0000 (16:15 +0200)
commit28d4b349024420ae56a54fb449f1791986bbff89
treee770b971890461eb294607b9b2cf28c1a1c44332
parentcda8ffdbb4600410451ea8e100f7f6cd4ab8b3f3
[errorprone] PathFilter#getPathsBestEffort: fix ArrayAsKeyOfSetOrMap

See https://errorprone.info/bugpattern/ArrayAsKeyOfSetOrMap

Change-Id: Ia94899bfa68db39f4eb8bfca455c92f5c888647c
org.eclipse.jgit/src/org/eclipse/jgit/treewalk/filter/PathFilter.java