On Mon, 15 Mar 2021 13:08:27 +0100
Peter Zijlstra <[email protected]> wrote:

> So, anybody any opinion on if we ought to do this?

Looks fine to me.

-- Steve

Reply via email to