3 Jun
2024
3 Jun
'24
12:20 p.m.
On Thu, May 16, 2024 at 10:51:06AM +0200, Peter Zijlstra wrote:
Thanks!, I'll hang onto this until after the merge window and then stick it in tip/perf/urgent or somesuch.
Just to check -- I couldn't spot this in tip/perf/urgent just now; are you still happy to pick this up?
Mark.