Closed kevinlewi closed 10 months ago
Addresses the clippy errors that popped up on the most recent commit to main branch (https://github.com/facebook/opaque-ke/commit/47b37779d417ac1b171b2f531e2cabfe7874be18)
Addresses the clippy errors that popped up on the most recent commit to main branch (https://github.com/facebook/opaque-ke/commit/47b37779d417ac1b171b2f531e2cabfe7874be18)