PR to fix username missing from minimal leaderboard

dev
1

I made a PR, please review.

4 Likes
3

Thanks @fokx, this is now merged.

3 Likes
4

This topic was automatically closed after 5 days. New replies are no longer allowed.