Known problems in GDB 7.12.1.DATE-git

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

None worth mentioning here.