Adam 83607f1335 infobox manager: keep infoboxes in order of insertion ...

Collections.binarySearch() does not guarantee which element is found if
there are multiple that compare equal, leaving the order of infoboxes
not necessarily in insertion order. This was an unintended side effect of
ba9ffb1d60 and
406c2bc7db.

2020-07-01 19:21:06 -04:00

..

src

infobox manager: keep infoboxes in order of insertion

2020-07-01 19:21:06 -04:00

pom.xml

Bump for 1.6.22-SNAPSHOT

2020-06-25 11:47:39 +00:00