15 Oct
2025
15 Oct
'25
7:29 a.m.
On Wed Oct 15 07:24:07 2025 +0000, Zhao Yi wrote:
Would I need to close this MR and re-address this deadlock issue?
As you prefer, you can create a separate one with the alternative fix or update this one directly. I'm not completely settled about this being wrong so perhaps a separate MR would be better so we can decide depending on how complicated the other fix gets.