[PATCH v4 00/16] extension language API for GDB

[Tom Tromey]

Doug> Now that 7.7 has branched I'd like to get this in.

I'll look at it soon, hopefully later this week.

Tom