Completed
Push — master ( d0e3a8...e30a89 )
by
unknown
18s queued 13s
created

Changes

2 added classes/operations
Arrow A verify-version.main() added
Arrow A verify-version added
7.69
▶   ± 0
Head
Björn Ricks  
Merge pull request #195 from bjoernricks/master
2 more commits
Base
Björn Ricks  
Merge pull request #193 from wiegandm/is_not_not_in