On Fri,  4 May 2018 23:11:49 +0200
Andrea Parri <[email protected]> wrote:

> The LKMM project has moved to 'tools/memory-model/'.
> 
> Signed-off-by: Andrea Parri <[email protected]>

Applied, thanks.

jon

Reply via email to