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

From: pr-tracker-bot
Date: Sun Dec 01 2024 - 15:50:27 EST


The pull request you sent on Sun, 1 Dec 2024 12:08:08 +0100:

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

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

Thank you!

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