On Wed, Jul 13, 2022 at 04:43:38PM -0500, Eric Blake wrote:
> On Tue, Jul 12, 2022 at 04:13:28PM -0500, Eric Blake wrote:
> > On Tue, Jul 12, 2022 at 07:22:31PM +0100, Richard W.M. Jones wrote:
> > > Hi Eric,
> > >
> > > None of this is important, and may not even be bugs, but here are a
> > >
On Tue, Jul 12, 2022 at 04:13:28PM -0500, Eric Blake wrote:
> On Tue, Jul 12, 2022 at 07:22:31PM +0100, Richard W.M. Jones wrote:
> > Hi Eric,
> >
> > None of this is important, and may not even be bugs, but here are a
> > few issues raised with the latest run of Coverity on nbdkit 1.30.7.
> >
On Tue, Jul 12, 2022 at 07:22:31PM +0100, Richard W.M. Jones wrote:
> Hi Eric,
>
> None of this is important, and may not even be bugs, but here are a
> few issues raised with the latest run of Coverity on nbdkit 1.30.7.
>
>
>
