Merge pull request #29 from richard42/develop
authorJean-Paul Mari <djipi.mari@gmail.com>
Thu, 14 Jan 2021 12:57:36 +0000 (07:57 -0500)
committerGitHub <noreply@github.com>
Thu, 14 Jan 2021 12:57:36 +0000 (07:57 -0500)
commitdce6ed02232f83b4198eb9f591122c0a7ad1a3ee
treed9626bb6edc776e2cd5e1a60e05c6faff94d002e
parent8646ea4492bcd361b181f3036071a7d34052e3b1
parentc89f8ff7f28e8eff5f59113640736d3bde8c3313
Merge pull request #29 from richard42/develop

Linux build fixes