Adam 406c2bc7db infobox manager: fix adding multiple infoboxes of same priority ...

The sort only checks infobox priority and plugin name, and is not a
uniqeness check, so we still need to insert the infobox regardless of if
it is "found" or not.

2020-05-28 00:13:32 -04:00

..

src

infobox manager: fix adding multiple infoboxes of same priority

2020-05-28 00:13:32 -04:00

pom.xml

Bump for 1.6.17-SNAPSHOT

2020-05-21 11:43:06 +00:00