Closed daxpedda closed 1 year ago
Ah, thank you! I copied over this change into https://github.com/facebook/voprf/pull/123 since that fixes the new clippy errors, and it seems like we need to land both at the same time in order for everything to pass...
Just saw that CI failed on installing Taplo.
Cc https://github.com/tamasfe/taplo/pull/474.