diff options
| author | Akira Yokosawa <akiyks@gmail.com> | 2020-06-24 06:56:43 +0900 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2020-06-29 12:05:18 -0700 |
| commit | 2bfa5c62debe43e3779e03bfc66b75ab72098db1 (patch) | |
| tree | f2ddb93ccaf28a10d86af4c9f3bec3fa0f5a7e8c | |
| parent | d075a78a5ab19389d5600923d6ad5391d7cd1be8 (diff) | |
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>
| -rw-r--r-- | tools/memory-model/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/memory-model/README b/tools/memory-model/README index 90af203c3cf1..ecb7385376bf 100644 --- a/tools/memory-model/README +++ b/tools/memory-model/README @@ -54,7 +54,7 @@ klitmus7 Compatibility Table -- 4.18 7.48 -- 4.15 -- 4.19 7.49 -- 4.20 -- 5.5 7.54 -- - 5.6 -- HEAD + 5.6 -- 7.56 -- ============ ========== |