Skip to content

Port #[omit_gdb_pretty_printer_section] to the new attribute parsing#143855

Merged
bors merged 1 commit intorust-lang:masterfrom
JonathanBrouwer:omit_gdb_pretty_printer_section
Jul 14, 2025
Merged

Port `#[omit_gdb_pretty_printer_section]` to the new attribute parsing#143855
bors merged 1 commit intorust-lang:masterfrom
JonathanBrouwer:omit_gdb_pretty_printer_section

Commits

Commits on Jul 12, 2025