Port #[link_section] to the new attribute parsing infrastructure#143196
Merged
bors merged 1 commit intorust-lang:masterfrom Jun 30, 2025
Merged
Port #[link_section] to the new attribute parsing infrastructure#143196bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom