]> www.infradead.org Git - users/willy/linux.git/commitdiff
Merge branch 'linus' into x86/platform, to refresh the branch
authorIngo Molnar <mingo@kernel.org>
Fri, 10 Nov 2017 07:21:08 +0000 (08:21 +0100)
committerIngo Molnar <mingo@kernel.org>
Fri, 10 Nov 2017 07:21:08 +0000 (08:21 +0100)
Signed-off-by: Ingo Molnar <mingo@kernel.org>

Trivial merge