5:40 a.m.
Julia,
On Fri, Aug 14 2020 at 21:00, Julia Lawall wrote:
On Fri, 14 Aug 2020, Thomas Gleixner wrote:
> That's clearly a false positive. Is there anything what can be done to
> help that cocci script here?
I have a better version that needs to get pushed.
But normally these pass through me. Did you get it directly from kbuild?
Yes, because I touched the affected lines last :)
Thanks,
tglx