Merge branch 'urgent' of git://amd64.org/linux/rric into perf/urgent
authorIngo Molnar <mingo@elte.hu>
Tue, 15 Nov 2011 10:03:30 +0000 (11:03 +0100)
committerIngo Molnar <mingo@elte.hu>
Tue, 15 Nov 2011 10:03:30 +0000 (11:03 +0100)

Trivial merge