Merge pull request #1 from harfbuzz/master
authorn8willis <n8willis@users.noreply.github.com>
Thu, 27 Sep 2018 16:15:22 +0000 (11:15 -0500)
committerGitHub <noreply@github.com>
Thu, 27 Sep 2018 16:15:22 +0000 (11:15 -0500)
Resync with upstream


Trivial merge