On Tue, Nov 5, 2024 at 10:05 PM David Marchand <david.march...@redhat.com> wrote: > On Thu, Oct 24, 2024 at 5:20 PM Robin Jarry <rja...@redhat.com> 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?
Well, let's get those fixes in. We will have the answer tomorrow. Series applied, thanks. -- David Marchand