Messages in this thread | | | Subject | Re: [GIT PULL] gcc-plugin updates for v4.20-rc6 | From | pr-tracker-bot@kernel ... | Date | Fri, 07 Dec 2018 22:40:02 +0000 |
| |
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
| |