GDB 7.12.1 Release.
Set GDB version number to 7.12.1.

gdb/ChangeLog:

	* version.in: Set GDB version number to 7.12.1.
	* PROBLEMS: Likewise.
3 files changed