
			Known problems in GDB 7.12.1

		See also: http://www.gnu.org/software/gdb/bugs/

None worth mentioning here.
