On Wed, Jun 24, 2020 at 07:06:02AM +0900, Akira Yokosawa wrote: > From 89f96cba0db5643b1d22a0fe740f4c5cac788b29 Mon Sep 17 00:00:00 2001 > From: Akira Yokosawa <akiyks@xxxxxxxxx> > Date: Wed, 24 Jun 2020 06:56:43 +0900 > Subject: [PATCH 1/2] 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. > Mention the exact version in the compatibility table. > > Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx> Acked-by: Andrea Parri <parri.andrea@xxxxxxxxx> Andrea > --- > tools/memory-model/README | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > 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 -- > ============ ========== > > > -- > 2.17.1 > >
