[RFA 0/9] more cleanup removal

[Tom Tromey]

>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:

Pedro> In patch #7 you can use gdb::def_vector<char> instead, I think.

Thanks - I had already forgotten about this.
I've made the change.

Tom