Re: [GIT PULL] gcc-plugin updates for v4.20-rc6

From: pr-tracker-bot
Date: Fri Dec 07 2018 - 17:40:10 EST


The pull request you sent on Fri, 7 Dec 2018 09:08:45 -0800:

> https://git.kernel.org/pub/scm/linux/kernel/git/kees/linux.git tags/gcc-plugins-v4.20-rc6

has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/1cdc3624a1df5b10519481763ec7a2b2481495ca

Thank you!

--
Deet-doot-dot, I am a bot.
https://korg.wiki.kernel.org/userdoc/prtracker