Closed arun-gupta closed 8 years ago
Names are currently displayed as "/silly_mirzakhani". It should be "silly_mirzakhani" instead.
Names are currently displayed as "/silly_mirzakhani". It should be "silly_mirzakhani" instead.