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

From: pr-tracker-bot
Date: Tue Nov 19 2024 - 19:49:42 EST


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

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

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

Thank you!

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