Completed
Push — master ( 68fe11...d0e3a8 )
by
unknown
20s queued 13s
created

Changes

3 issues (3 informational) were introduced.
7 issues were fixed.
7.68
▶   ± 0
Head
Björn Ricks  
Merge pull request #193 from wiegandm/is_not_not_in
2 more commits
Base
Björn Ricks  
Merge pull request #194 from wiegandm/unused_enum