Update Sat Aug  2 11:13:18 CEST 2014
all:           new: 11988   gone: 12394 =   -406
warning:       new: 1003   gone: 1396 =   -393
style:         new: 8849   gone: 8973 =   -124
performance:   new: 1363   gone: 1257 =   106
portability:   new: 394   gone: 390 =   4
crashes:       new: 0   gone: 0 =   0
varids:        new: 0   gone: 0 =   0