Merge pull request #866 from sandyharvie/dev
authorYann Collet <Cyan4973@users.noreply.github.com>
Tue, 14 Jul 2020 01:09:02 +0000 (18:09 -0700)
committerGitHub <noreply@github.com>
Tue, 14 Jul 2020 01:09:02 +0000 (18:09 -0700)
Fix issue #865


Trivial merge