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)
Linux build fixes


Trivial merge