on the highscores/top5 screen, only show the highest score per player#725

Draft

barbeque-squared wants to merge 1 commit intomasterfrom highscores-per-player

+3

Commits on Jul 30, 2023

on the highscores/top5 screen, only show the highest score per player. also adds a TODO because the filter is useless now? (not that it did anything to begin with...)
barbeque-squared
committed