The signed tag 'gdb-13.2-release' was created pointing to: 662243de0e1... Set GDB version number to 13.2. Tagger: Joel Brobecker <brobecker@adacore.com> Date: Sat May 27 11:48:22 2023 +0200 GDB 13.2 Release.