Hello, Just FYI, I am about to push the following couple of commits on the 7.11 branch (almost there with the 7.11.1 release). [release/branch 1/2] Document the GDB 7.11.1 release in gdb/ChangeLog [release/branch 2/2] Bump GDB version number to 7.11.1.DATE-git. Thanks! -- Joel