Merge pull request #6972 from neheb/double
authorHannu Nyman <hannu.nyman@iki.fi>
Thu, 27 Dec 2018 17:34:49 +0000 (19:34 +0200)
committerGitHub <noreply@github.com>
Thu, 27 Dec 2018 17:34:49 +0000 (19:34 +0200)
libdouble-conversion: Update to 3.1.1


Trivial merge