On 09/26/2017 02:24 PM, Rainer Orth wrote: > Hi Pedro, >> OK. > > Installed now. Should I also post post to gdb-annonce or just close the > PR and be done with the removal given the NEWS entry? If you're up to it, wouldn't hurt to send a short FYI to both gdb@ + gdb-announce@ for due diligence. Thanks, Pedro Alves