Messages in this thread | | | Subject | Re: [GIT PULL] gcc-plugins fixes for v5.2-rc1 | From | pr-tracker-bot@kernel ... | Date | Mon, 13 May 2019 23:10:11 +0000 |
| |
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
| |