11 Nov
2025
11 Nov
'25
1:58 p.m.
On Tue, Nov 11, 2025 at 2:54 PM Miguel Ojeda miguel.ojeda.sandonis@gmail.com wrote:
I will send a couple other fixes to Linus this week, so if nobody shouts, I will be picking this one.
Of course, if someone else (thanks Haiyue!) wants to give tag or two, I can still pick those up, and that would be very welcome.
Cheers, Miguel