Merge pull request #66 from whot/master
authorRan Benita <ran234@gmail.com>
Wed, 1 Aug 2018 09:25:18 +0000 (12:25 +0300)
committerGitHub <noreply@github.com>
Wed, 1 Aug 2018 09:25:18 +0000 (12:25 +0300)
commit1f3666915bc31a1133f2d53d0f81c03df7241bad
tree493e67f05c5eced6bceb1d2c138a5adaac2e55b5
parent842e4351c2c97de6051cab6ce36b4a81e709a0e1
parentc81682975d46030365da4e6c529f547a71014cee
Merge pull request #66 from whot/master

Coverity fixes (one real bug)