> Thanks for the review, Uli. Just pushed upstream (commit id > 9f7efd5bf76aa5065298d13aefb109ecfd7a825a). > > Joel, is it OK to push this fix to gdb-7.12-branch too? OK for me! -- Joel