On 08/24/2015 03:22 PM, Pedro Alves wrote: > Patch #1 needs a NEWS review, patch #2 needs a GDB manual review. > Thanks for the review Eli. Now pushed. -- Pedro Alves