Merge pull request #7465 from neheb/patch-12
authorHannu Nyman <hannu.nyman@iki.fi>
Tue, 20 Nov 2018 15:32:58 +0000 (17:32 +0200)
committerGitHub <noreply@github.com>
Tue, 20 Nov 2018 15:32:58 +0000 (17:32 +0200)
tree: Update to 1.8.0


Trivial merge