On 06/24/2015 03:28 PM, Eli Zaretskii wrote: > The patch fixes my case as well. Thank you very much! Thanks. I've pushed it in now: https://sourceware.org/ml/gdb-patches/2015-06/msg00607.html -- Pedro Alves