Re: [GIT pull] timers/core for v6.13-rc1

[pr-tracker-bot]

The pull request you sent on Mon, 18 Nov 2024 20:21:57 +0100 (CET):

> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git timers-core-2024-11-18

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

Thank you!

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