Potential CSS Issue in 1.1

I was just merging my old ‘customized’ theme of twenty twelve with version 1.1, when during a few conflicts, I came across one change that doesn’t seem appropriate to me in 1.1 vs how it was in 1.0. It’s the following code:

.commentlist .children {
		margin-left: 48px;
		margin-left: 3.428571429rem;
	}

In version 1.0, this piece of code was in the /* =Comments */ section. Whereas in version 1.1, this has been moved to /* =Media queries */ ... /* Minimum width of 600 pixels. */ section. I am sure it’s supposed to remain in the Comments section.

P.S. Is there any way that a ticket could have been opened on Themes trac for this?