Re: [PATCH 1/2] tools/memory-model/README: Mention herdtools7 7.56 in compatibility table

2020-06-23 Thread Andrea Parri
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 > Date: Wed, 24 Jun 2020 06:56:43 +0900 > Subject: [PATCH 1/2] tools/memory-model/README: Mention herdtools7 7.56 in >

[PATCH 1/2] tools/memory-model/README: Mention herdtools7 7.56 in compatibility table

2020-06-23 Thread Akira Yokosawa
>From 89f96cba0db5643b1d22a0fe740f4c5cac788b29 Mon Sep 17 00:00:00 2001 From: Akira Yokosawa 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 2