Closed duesee closed 8 months ago
You can close this if https://github.com/hacl-star/hacl-star/pull/858 meets the requirements.
This has been fixed in #429.