The signed tag 'gdb-8.0-release' was created pointing to: 1f1c025... Set GDB version number to 8.0. Tagger: Joel Brobecker <brobecker@adacore.com> Date: Sun Jun 4 08:56:18 2017 -0700 GDB 8.0 Release.