The signed tag 'gdb-7.12-release' was created pointing to: 013fd7c... Set GDB version number to 7.12. Tagger: Joel Brobecker <brobecker@adacore.com> Date: Fri Oct 7 10:10:45 2016 -0700 GDB 7.12 Release.