> This is going to percolate through the repository (modules file
> should also be adjusted eventually); you may want to hold off until
> Andrew has finished with GDB 6.1.1.  Andrew, that should be soon,
> right?

Isn't that being done off the gdb_6_1_branch?

Anyway, I have no intention of touching the modules file.

Ben