PR #74 Fix several warnings

Fix several warnings #74

asuhan merged 1 commit into master from asuhan/fix_warnings

Fix several warnings

4f95b9fc

asuhan requested a review from

dlibenzi 6 years ago

dlibenzi approved these changes on 2018-12-19

asuhan merged 6bd85fa2 into master 6 years ago

asuhan deleted the asuhan/fix_warnings branch 6 years ago

Reviewers

dlibenzi

Assignees

No one assigned

Labels

None yet

Milestone

No milestone