fix for leaderboard

#1
by mikr - opened
No description provided.
Charalampos changed pull request status to merged

Sign up or log in to comment