Re: [PATCH] make -gdb-exit call disconnect_tracing too, and don't lose history if the target errors on "quit"

Pedro Alves
2013-04-10T14:11:42Z

I've now committed this.

--
Pedro Alves