Daniel Jacobowitz wrote:
> OK for HEAD with or without that change, as you prefer.  I'd recommend
> this for 6.6 now that it's in HEAD; Joel, is that OK?

Committed to both HEAD and gdb_6_6-branch with the suggested change.

The final patch is attached.

Andrew