https://sourceware.org/bugzilla/show_bug.cgi?id=33920 --- Comment #5 from Tom Tromey <tromey at sourceware dot org> --- Could you send it to gdb-patches? Also see https://sourceware.org/gdb/wiki/ContributionChecklist -- You are receiving this mail because: You are on the CC list for the bug.