Re: [GIT PULL] timers/urgent for v6.13-rc2

From: pr-tracker-bot
Date: Sun Dec 08 2024 - 15:02:09 EST


The pull request you sent on Sun, 8 Dec 2024 11:06:52 +0100:

> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip tags/timers_urgent_for_v6.13_rc2

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

Thank you!

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