Merge pull request #8554 from neheb/dc
authorRosen Penev <rosenp@gmail.com>
Mon, 1 Apr 2019 18:40:22 +0000 (11:40 -0700)
committerGitHub <noreply@github.com>
Mon, 1 Apr 2019 18:40:22 +0000 (11:40 -0700)
libdouble-conversion: Update to 3.1.4


Trivial merge