Closed main-gi closed 3 years ago
Relies on some code used in #87 by the way (score formatting)
Merged (and github doesn't notice for some reason)
Relies on some code used in #87 by the way (score formatting)