Passed
Pull Request — master (#193)
by
unknown
01:52
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