Re: [GIT PULL] Thermal management updates for v4.20-rc1

From: Linus Torvalds
Date: Wed Oct 31 2018 - 14:29:40 EST


On Tue, Oct 30, 2018 at 6:24 PM Zhang Rui <rui.zhang@xxxxxxxxx> wrote:
>
> Thermal management updates for v4.20-rc1 [..]

Pulled,

Linus