[GIT PULL] LKMM changes for v5.19

From: Paul E. McKenney
Date: Fri May 20 2022 - 14:30:38 EST


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(-)