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