On Mon, Jun 22, 2020 at 11:17:51AM +0200, Boris Petkov wrote: > On June 22, 2020 10:52:23 AM GMT+02:00, Alexandre Chartre > <alexandre.char...@oracle.com> wrote: > > So the appropriate change to make Coverity happy > > Or we can stop "fixing" the kernel in order to shut up tools and not do > anything.
Agreed, no change required here.
