* [GIT PULL] LKMM changes for v5.19
@ 2022-05-20 18:30 Paul E. McKenney
2022-05-23 19:20 ` pr-tracker-bot
0 siblings, 1 reply; 2+ messages in thread
From: Paul E. McKenney @ 2022-05-20 18:30 UTC (permalink / raw)
To: torvalds; +Cc: linux-kernel, linux-arch, kernel-team, akiyks
Hello, Linus,
Once the merge window opens, please pull the latest LKMM change from:
git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git tags/lkmm.2022.05.20a
# HEAD 5b759db44195bb779828a188bad6b745c18dcd55 tools/memory-model/README: Update klitmus7 compat table (2022-05-03 10:12:48 -0700)
----------------------------------------------------------------
LKMM pull request for v5.18
This pull request updates the klitmus7 compatibility table to indicate
that herdtools7 7.56.1 or better is required for Linux kernel v5.17
or later.
----------------------------------------------------------------
Akira Yokosawa (1):
tools/memory-model/README: Update klitmus7 compat table
tools/memory-model/README | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [GIT PULL] LKMM changes for v5.19
2022-05-20 18:30 [GIT PULL] LKMM changes for v5.19 Paul E. McKenney
@ 2022-05-23 19:20 ` pr-tracker-bot
0 siblings, 0 replies; 2+ messages in thread
From: pr-tracker-bot @ 2022-05-23 19:20 UTC (permalink / raw)
To: Paul E. McKenney; +Cc: torvalds, linux-kernel, linux-arch, kernel-team, akiyks
The pull request you sent on Fri, 20 May 2022 11:30:22 -0700:
> git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git tags/lkmm.2022.05.20a
has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/b2f02e9cdaade3ce565e6973ac313d2f814447f2
Thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/prtracker.html
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2022-05-23 19:34 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-05-20 18:30 [GIT PULL] LKMM changes for v5.19 Paul E. McKenney
2022-05-23 19:20 ` pr-tracker-bot
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®