Coverity problems?

[Mark Linimon]

On Fri, Jan 11, 2008 at 09:12:27PM +0100, Ivan Voras wrote:
> These numbers seem strange and out of proportion. I know there has been 
> prior cooperation with Coverity - is this just old data?

IIRC Coverity is not tracking our use of their software, at least in
those statistics.  Someone was telling me yesterday that was because
we have our own copy of the Coverity server which we use, rather than
accessing the one on their site that generates the statistics.

Someone, please correct me if I'm wrong.

mcl