Request for gdb repository write access

[Tom de Vries]

Pedro,

I'd like gdb repository write access with my sourceware account vries.

I've got one good patch submitted
(https://sourceware.org/ml/gdb-patches/2013-10/msg00608.html).

OK?

Thanks,
- Tom