Merge branch 'perf/urgent' into perf/core, to pick up fixes
authorIngo Molnar <[email protected]>
Mon, 18 Dec 2017 17:13:00 +0000 (18:13 +0100)
committerIngo Molnar <[email protected]>
Mon, 18 Dec 2017 17:13:00 +0000 (18:13 +0100)
Signed-off-by: Ingo Molnar <[email protected]>
1  2 
tools/perf/check-headers.sh

Simple merge