Merge branch 'lkmm.2020.11.06a' into HEAD
authorPaul E. McKenney <paulmck@kernel.org>
Fri, 20 Nov 2020 03:38:53 +0000 (19:38 -0800)
committerPaul E. McKenney <paulmck@kernel.org>
Fri, 20 Nov 2020 03:38:53 +0000 (19:38 -0800)
lkmm.2020.11.06a: Linux-kernel memory model (LKMM) updates.


Trivial merge