A gentle reminder for the _second_ version of the patch series in: https://sourceware.org/pipermail/gdb-patches/2020-April/168003.html I appreciate taking the time to review it. -- Shahab