PR om ontbrekende gebruikersnaam in minimale leaderboard te repareren

Ontwikkelaar
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.