Skip to content

remove long-deprecated no-op attributes no_start and crate_id#134300

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:remove-dead-attrs
Jan 26, 2025
Merged

remove long-deprecated no-op attributes no_start and crate_id#134300
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:remove-dead-attrs

remove long-deprecated no-op attributes no_start and crate_id

a99778c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs