Re: [GIT PULL] coccinelle changes for v7.3-rc1

[pr-tracker-bot]

The pull request you sent on Sun, 30 Aug 2026 14:59:16 +0200 (CEST):

> ssh://git@xxxxxxxxxxxxxxxxxxx/pub/scm/linux/kernel/git/jlawall/linux.git tags/cocci-7.3-rc1

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

Thank you!

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