[Python-Dev] Coverity scan

[martin at v.loewis.de]

Zitat von Stefan Krah <stefan at bytereef.org>:
> After all, 99.99% of issues are either found by developers themselves or
> by gcc, Visual Studio, Valgrind, etc. It just occurred to me that for example
> we don't credit other tools in commit messages.

I agree that Coverity doesn't need to be mentioned in commit message.
We do cite tools occasionally, but in a negative way, such as "silence
gcc warning", where the commit message and/or comment explains why some
code is ugly for some non-obvious reason.

Regards,
Martin