Re: [GIT PULL] gcc-plugin updates for v5.1-rc1
From: pr-tracker-bot
Date: Sat Mar 09 2019 - 14:55:55 EST
The pull request you sent on Mon, 4 Mar 2019 09:48:02 -0800:
> https://git.kernel.org/pub/scm/linux/kernel/git/kees/linux.git tags/gcc-plugins-v5.1-rc1
has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/2bb995405fe52dd893db57456556e8dc4fce35a7
Thank you!
--
Deet-doot-dot, I am a bot.
https://korg.wiki.kernel.org/userdoc/prtracker