Skip to content

Remove the omit_gdb_pretty_printer_section attribute#144738

Merged
bors merged 1 commit intorust-lang:masterfrom
bjorn3:remove_omit_gdb_pretty_printer_section
Aug 4, 2025
Merged

Remove the omit_gdb_pretty_printer_section attribute#144738
bors merged 1 commit intorust-lang:masterfrom
bjorn3:remove_omit_gdb_pretty_printer_section

Commits

Commits on Aug 1, 2025