On Tue, Sep 27, 2016 at 03:53:25PM +0200, Bernd Schmidt wrote: > What's the ratio of comments "fixed" to actual bugs found? IMO this is not > something we should inflict on users unasked.
One might argue that users actually *asked* for this by turning on -Wextra.
Marek
