[tip:locking/core] tools/memory-model: Update required version of herdtools7

Commit-ID: 5b62832c1e5284030500f82d6b3579ceed399fe6 Gitweb: https://git.kernel.org/tip/5b62832c1e5284030500f82d6b3579ceed399fe6 Author: Akira Yokosawa AuthorDate: Mon, 14 May 2018 16:33:41 -0700 Committer: Ingo Molnar CommitDate: Tue, 15 May 2018

[tip:locking/core] tools/memory-model: Update required version of herdtools7

Commit-ID: 5b62832c1e5284030500f82d6b3579ceed399fe6 Gitweb: https://git.kernel.org/tip/5b62832c1e5284030500f82d6b3579ceed399fe6 Author: Akira Yokosawa AuthorDate: Mon, 14 May 2018 16:33:41 -0700 Committer: Ingo Molnar CommitDate: Tue, 15 May 2018 08:11:16 +0200 tools/memory-model: