emilios's picture mikr's picture
fix for hu leaderboard (#1)
2ee7c31