Less than 300 Coverity errors !!

[Paul Vriens]

Hi,

Just wanted to mention the fact that Marcus (almost single-handedly for 
the last months) got the number of issues below 300.

Only 11 of those are marked as either a bug or are pending. The rest is 
either false (Coverity thinks there is an error, but we don't) or to be 
ignored (for example: windows bug-for-bug compatibility or some 
deliberate tests).

-- 
Cheers,

Paul.