>>>>> "Tom" == Tom Tromey <tom@tromey.com> writes: Tom> Once again I forgot: [...] And I've been forgetting that this one needs a reply: https://sourceware.org/ml/gdb-patches/2016-06/msg00370.html Tom