Re: [GIT PULL] OpenRISC fixes for 6.13-rc3

pr-tracker-bot
2024-12-12T21:27:22Z

The pull request you sent on Thu, 12 Dec 2024 16:49:15 +0000:

> https://github.com/openrisc/linux.git tags/for-linus

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

Thank you!

--
Deet-doot-dot, I am a bot.