Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #16425 from MinaProtocol/dw/remove-old-comment-pic…
…kles-scalar-challenge [trivial] Pickles/scalar_challenge: remove old comment
- Loading branch information