Merge openlibm (0.6.0+dfsg-2) import into refs/heads/workingbranch
authorGraham Inggs <ginggs@debian.org>
Thu, 8 Nov 2018 12:37:11 +0000 (12:37 +0000)
committerGraham Inggs <ginggs@debian.org>
Thu, 8 Nov 2018 12:37:11 +0000 (12:37 +0000)

Trivial merge