On Wed, 21 Jul 2010, Bernd wrote: > Michael, If I have a patch for the debugserver can I send it directly > to you (your name is in the source) or does it have to go directly to > the bug tracker? You can send it to me. Michael.