Re: herdtools7.7.58 is now available

On Fri, Feb 14, 2025 at 04:58:36PM +0900, Akira Yokosawa wrote:
> Hi Paul,
> 
> Thanks to Luc, herdtools7.7.58 is now available [1, 2], which means
> pending LKMM changes by Puranjay, Hernan, and Jonas have become
> ready to go for the next merge window.
> 
> I'm not sure who will be in charge of sending LKMM pull request for
> v6.15, though.
> 
> [1] https://github.com/herd/herdtools7/issues/1155
> [2] https://github.com/herd/herdtools7/releases/tag/7.58

That would be me, and thank you for letting me know!

Would you like to submit a patch updating the required version of herd7?
One location is tools/memory-model/README, and there might be others
(though I hope not).

							Thanx, Paul