https://bugzilla.redhat.com/show_bug.cgi?id=2210897
Bug 2210897 depends on bug 2005536, which changed state.
Bug 2005536 Summary: Review Request: rust-fiat-crypto - Fiat-crypto generated
RustFiat-crypto generated Rust
https://bugzilla.redhat.com/show_bug.cgi?id=2005536
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |CLOSED
Resolution|--- |DUPLICATE
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
https://bugzilla.redhat.com/show_bug.cgi?id=2210897