The signed tag 'gdb-7.12.1-release' was created pointing to: 59b1024... Set GDB version number to 7.12.1. Tagger: Joel Brobecker <brobecker@adacore.com> Date: Sat Jan 21 17:50:48 2017 +0400 GDB 7.12.1 Release.