Skip to content

Conversation

ashm-dev
Copy link
Contributor

@ashm-dev ashm-dev commented Oct 14, 2025

Co-authored-by: Stan Ulbrych <89152624+StanFromIreland@users.noreply.github.com>
@ZeroIntensity
Copy link
Member

Isn't this vendored code? This should probably be fixed upstream.

cc @picnixz

@gpshead
Copy link
Member

gpshead commented Oct 14, 2025

indeed, please report this to https://github.com/hacl-star/hacl-star and @protz or similar will help there. then we can just update our vendored version pin.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants