Hi Eli,

> 
> Thanks.  These are all no-brainers, so I think the patch is still good
> to go in.

Sorry to bother you again. I realized I haven't gdb write permission. Could
you please help me to commit it at your convenient time? The attachment is
the patch against the latest gdb trunk.

BR,
Terry