Re: [GIT pull] sched/urgent for v5.19-rc1
From: pr-tracker-bot
Date: Sun Jun 05 2022 - 14:03:36 EST
The pull request you sent on Sun, 5 Jun 2022 11:30:55 +0200 (CEST):
> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git sched-urgent-2022-06-05
has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/bc1e02c3e500e2eec5afd2fd3efc3b7f9637c35c
Thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/prtracker.html