Completed
Push — master ( 555846...d83e7f )
by
unknown
29s queued 25s
created

No notable changes

There were no notable changes in the changeset which was inspected.

6.71
▶   ± 0
Head
Björn Ricks  
Merge pull request #136 from wiegandm/version_output
1 more commit
Base
Björn Ricks  
Merge pull request #134 from wiegandm/no-literal-comparison