Forgot to cc: gdb-patches.  Patches checked in.  Details below.

-- Jeff J.