Skip to content

Fix ice in undocumented_unsafe_blocks#7891

Merged
bors merged 2 commits intorust-lang:masterfrom
giraffate:fix_ice_for_undocumented_unsafe_blocks
Oct 28, 2021

Commits

Commits on Oct 27, 2021

Commits on Oct 28, 2021