]> git.baikalelectronics.ru Git - kernel.git/commit
tools/memory-model/README: Mention herdtools7 7.56 in compatibility table
authorAkira Yokosawa <akiyks@gmail.com>
Tue, 23 Jun 2020 21:56:43 +0000 (06:56 +0900)
committerPaul E. McKenney <paulmck@kernel.org>
Mon, 29 Jun 2020 19:05:18 +0000 (12:05 -0700)
commit655601202c4b7964a042f278c1a96f1a0d16b588
treef2ddb93ccaf28a10d86af4c9f3bec3fa0f5a7e8c
parent018f3586f96fe821a14c95c0aa7e1050ad1169ff
tools/memory-model/README: Mention herdtools7 7.56 in compatibility table

herdtools7 7.56 is going to be released in the week of 22 Jun 2020.
This commit therefore adds the exact version in the compatibility table.

Acked-by: Andrea Parri <parri.andrea@gmail.com>
Signed-off-by: Akira Yokosawa <akiyks@gmail.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
tools/memory-model/README