On 06/08/2018 03:37 PM, Paul.Koning@dell.com wrote: >> Thanks. AFAICT, everything's sorted out. Anything holding this back? > > Just waiting for approval to commit. > Ah, but you already have it: https://sourceware.org/ml/gdb-patches/2018-06/msg00015.html Sorry if that wasn't clear. Thanks, Pedro Alves