Re: [GIT PULL] gcc-plugins fixes for v5.2-rc1

From: pr-tracker-bot
Date: Mon May 13 2019 - 19:11:48 EST


The pull request you sent on Mon, 13 May 2019 14:05:25 -0700:

> https://git.kernel.org/pub/scm/linux/kernel/git/kees/linux.git tags/gcc-plugins-v5.2-rc1

has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/63863ee8e2f6f6ae47be3dff4af2f2806f5ca2dd

Thank you!

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