Remove the omit_gdb_pretty_printer_section attribute#144738

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

bjorn3:remove_omit_gdb_pretty_printer_sectionbjorn3/rust:remove_omit_gdb_pretty_printer_sectionCopy head branch name to clipboard