Re: herdtools7.7.58 is now available

Paul E. McKenney wrote:
> 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,

It is already taken care of by
commit c6476bdc49b3 ("tools/memory-model: Switch to softcoded herd7 tags").

That said, its Sob chain looks confusing to me (provided its author is Jonas):

    Signed-off-by: Hernan Ponce de Leon <[email protected]>
    Signed-off-by: Jonas Oberhauser <[email protected]>
    Signed-off-by: Paul E. McKenney <[email protected]>

This should be either (Jonas as the author):

    Co-developed-by: Hernan Ponce de Leon <[email protected]>
    Signed-off-by: Hernan Ponce de Leon <[email protected]>
    Signed-off-by: Jonas Oberhauser <[email protected]>
    Signed-off-by: Paul E. McKenney <[email protected]>
    
, (Hernan as the author):

    Signed-off-by: Hernan Ponce de Leon <[email protected]>
    Co-developed-by: Jonas Oberhauser <[email protected]>
    Signed-off-by: Jonas Oberhauser <[email protected]>
    Signed-off-by: Paul E. McKenney <[email protected]>

, or (Hernan as the author, Jonas as a submitter):

    Signed-off-by: Hernan Ponce de Leon <[email protected]>
    Signed-off-by: Jonas Oberhauser <[email protected]>
    Signed-off-by: Paul E. McKenney <[email protected]>

Jonas, Hernan, which is the case here?

        Thanks, Akira

>                                            and there might be others
> (though I hope not).
> 
> 							Thanx, Paul