id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc
23507	Twenty Thirteen: move IE-specific extra font-family property out of main stylesheet	markmcwilliams		"As per #23504, here's a separate ticket! :)

Having a very quick look through the stylesheet ...

I noticed that there was a double use of font-family on [http://core.trac.wordpress.org/browser/trunk/wp-content/themes/twentythirteen/style.css?rev=23452#L212 Line 212], which I don't think should be there?"	defect (bug)	closed	normal	3.6	Bundled Theme	trunk	normal	fixed	has-patch