Skip to content

fix intrinsic_operation_unsafety comment#86250

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:intrinsic_operation_unsafety
Jun 20, 2021
Merged

fix intrinsic_operation_unsafety comment#86250
bors merged 1 commit intorust-lang:masterfrom
RalfJung:intrinsic_operation_unsafety

Commits

Commits on Jun 12, 2021