Hello,

This is to formalize MichaelC's new role within GDB.  I'll commit in a 
day or so.

Andrew