Hello John, Patrick, On Thu, Oct 24, 2024 at 5:20 PM Robin Jarry <[email protected]> wrote: > > Here are fixes for three coverity issues:
This series fixes two coverity issues. The fixes look correct. But the Coverity reports are not obvious to me. Is there a way to pass those fixes through Coverity to confirm the two issues are indeed fixed? -- David Marchand

