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.