I think it's good to send the patch to gdb-patches as usual, and then mail to gdb-gnats with a URL that points to the patch. That means you have to for the patch to show up in the gdb-patches archive, but that takes just a few seconds. Michael C