Skip to content

Remove unnecessary current_revision call from setup_interned_struct #1489

Remove unnecessary current_revision call from setup_interned_struct

Remove unnecessary current_revision call from setup_interned_struct #1489

Miri

succeeded Feb 26, 2025 in 17m 55s