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.
