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

From: pr-tracker-bot
Date: Sun Jan 19 2025 - 12:54:11 EST


The pull request you sent on Sun, 19 Jan 2025 12:33:53 +0100:

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

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

Thank you!

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