fix unused variable error in Release build #28

Merged
karolmajek merged 1 commits from master into master 2020-02-06 15:35:31 +01:00
karolmajek commented 2020-02-04 13:32:27 +01:00 (Migrated from github.com)

fix issue #23

fix issue #23
This repo is archived. You cannot comment on pull requests.