Merge pull request #477 from shuffle2/patch-1
authorenjoy-digital <florent@enjoy-digital.fr>
Mon, 27 Apr 2020 19:07:27 +0000 (21:07 +0200)
committerGitHub <noreply@github.com>
Mon, 27 Apr 2020 19:07:27 +0000 (21:07 +0200)
diamond: fix include paths


Trivial merge