Hi Palmer, GDB patches should be sent to the gdb list (gdb-patches@sourceware.org) rather than to us. You can CC us if you like, but we cannot approve changes to the GDB sources. Cheers Nick