Update Thu Jul 31 00:48:01 CEST 2014
all:           new: 7958   gone: 8039 =   -81
warning:       new: 1320   gone: 1369 =   -49
style:         new: 5148   gone: 5205 =   -57
performance:   new: 746   gone: 736 =   10
portability:   new: 528   gone: 524 =   4
crashes:       new: 0   gone: 0 =   0
varids:        new: 0   gone: 0 =   0
Update Thu Jul 31 01:48:49 CEST 2014
all:           new: 20   gone: 21 =   -1
warning:       new: 0   gone: 4 =   -4
style:         new: 14   gone: 13 =   1
performance:   new: 0   gone: 0 =   0
portability:   new: 0   gone: 0 =   0
crashes:       new: 0   gone: 0 =   0
varids:        new: 0   gone: 0 =   0