#1238 and #1239, adds badges to results and external handler for filter events#374
Draft
jrmartin wants to merge 19 commits into
Draft
#1238 and #1239, adds badges to results and external handler for filter events#374jrmartin wants to merge 19 commits into
jrmartin wants to merge 19 commits into