Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
Sign upCoverity merge #1128
Conversation
Howaner
and others
added some commits
Jun 16, 2014
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
Show comment
Hide comment
|
Parenthesis around the comparison |
madmaxoft
added some commits
Jun 22, 2014
madmaxoft
and others
added some commits
Jun 23, 2014
added a commit
that referenced
this pull request
Jun 26, 2014
worktycho
merged commit dd1c107
into
coverity_scan
Jun 26, 2014
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
worktycho commentedJun 26, 2014
No description provided.