On 17/03/2023 13:24, Josh Poimboeuf wrote: > [...] > > Looks good to me. I've got some other noreturn fixes pending, so I can > add this patch to the pile unless somebody else wants to take it. Thanks, that'd be great. And thanks Michael for your review =)
