The signed tag 'gdb-7.11.1-release' was created pointing to: 41d8236... Set GDB version number to 7.11.1. Tagger: Joel Brobecker <brobecker@adacore.com> Date: Tue May 31 17:38:36 2016 -0700 GDB 7.11.1 Release.