Closed essential-randomness closed 2 years ago
Fixed by & https://github.com/essential-randomness/bobaserver/pull/67 and https://github.com/essential-randomness/boba-frontend/pull/56 + https://github.com/essential-randomness/boba-frontend/pull/57
Fixed by & https://github.com/essential-randomness/bobaserver/pull/67 and https://github.com/essential-randomness/boba-frontend/pull/56 + https://github.com/essential-randomness/boba-frontend/pull/57