[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-Id: <171565509120.649.9108329102955506702.pr-tracker-bot@kernel.org>
Date: Tue, 14 May 2024 02:51:31 +0000
From: pr-tracker-bot@...nel.org
To: Ingo Molnar <mingo@...nel.org>
Cc: Linus Torvalds <torvalds@...ux-foundation.org>, linux-kernel@...r.kernel.org, Peter Zijlstra <peterz@...radead.org>, Thomas Gleixner <tglx@...utronix.de>, Borislav Petkov <bp@...en8.de>, Dave Hansen <dave.hansen@...ux.intel.com>
Subject: Re: [GIT PULL] Documentation/maintainer-tip: Clarify merge window policy
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
Powered by blists - more mailing lists