Re: [RFA 0/9] more cleanup removal

Tom Tromey
2018-02-08T18:45:55Z

>>>>> "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