29 Aug
2022
29 Aug
'22
5:38 p.m.
On Mon, Aug 29, 2022 at 10:36 AM Jann Horn jannh@google.com wrote:
A minimal but also completely different fix would be:
Looks sane to me.
Linus