Re: [GIT PULL] Documentation/maintainer-tip: Clarify merge window policy
From: pr-tracker-bot
Date: Mon May 13 2024 - 22:53:25 EST
The pull request you sent on Mon, 13 May 2024 10:07:06 +0200:
> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git x86-misc-2024-05-13
has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/019040fb8144fd24097e8260ec0fe231634bfc81
Thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/prtracker.html