projects / platform / kernel / linux-rpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d075a78) | patch
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)
commit2bfa5c62debe43e3779e03bfc66b75ab72098db1
treef2ddb93ccaf28a10d86af4c9f3bec3fa0f5a7e8ctree | snapshot
parentd075a78a5ab19389d5600923d6ad5391d7cd1be8commit | 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>
tools/memory-model/README diff | blob | history
Domain: System / Kernel;