13 Oct
2023
13 Oct
'23
6:43 p.m.
Unless we specifically run into an application that expects to be able to terminate a thread mid-wait, I don't think there's anything that needs to be done here.
Yeah, at least such an issue will be relatively easy to spot. Unlike the one fixed by this MR.