Re: [GIT PULL] Thermal-SoC management fixes for v5.0-rc6

From: Eduardo Valentin
Date: Sun Feb 10 2019 - 22:20:05 EST


Thanks for the note, but..

On Sun, Feb 10, 2019 at 04:25:16AM +0000, pr-tracker-bot@xxxxxxxxxx wrote:
> The pull request you sent on Sat, 9 Feb 2019 20:17:23 -0800:
> > git:// fixes
> has been merged into torvalds/linux.git:

I think the bot is off here because the above commit is about a merge
from the linux-omap tree from Tony.

7ad915f5ebf5 ("Merge tag 'omap-for-v3.10-rc1/fixes' of git:// into fixes")

not the above pull. In fact, this pull was not merged so far, as per the log
of v5.0-rc6. I mean, this is a very late fixes pull anyways and I can always
resend the pull, but I believe the bot got confused this time.

> Thank you!
> --
> Deet-doot-dot, I am a bot.