
			Known problems in GDB 8.0.0.DATE-git

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

None worth mentioning here.
