Completed
Push — master ( 10781f...555846 )
by
unknown
14s queued 11s
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 #134 from wiegandm/no-literal-comparison
Base
Michael Wiegand  
Merge c37921b06b7de64a6b29e40d1b3c04b0337d7eea into 10781f964f12e8337ed6c09b0ed624edd71ff2d5