Merge pull request #9139 from neheb/dou
authorRosen Penev <redacted>
Thu, 6 Jun 2019 20:18:28 +0000 (13:18 -0700)
committerGitHub <redacted>
Thu, 6 Jun 2019 20:18:28 +0000 (13:18 -0700)
libdouble-conversion: Update to 3.1.5


Trivial merge
git clone https://git.99rst.org/PROJECT