Re: [RFA 23/23] Use gdb_argv_up in Python

Tom Tromey
2017-07-19T22:51:17Z

>>>>> "Tom" == Tom Tromey <tom@tromey.com> writes:

Tom> Yes. I think it could be destroyed if the command is deleted, but I
Tom> can't remember now if that can happen; and anyway if it can it must be a
Tom> weird thing to do.

... what I mean here is that it currently is never freed, but I think
(not sure) it could be freed in theory when the command is destroyed.

Tom