Merge openlibm (0.7.0+dfsg-1) import into refs/heads/workingbranch
authorGraham Inggs <ginggs@debian.org>
Tue, 24 Dec 2019 09:37:12 +0000 (09:37 +0000)
committerGraham Inggs <ginggs@debian.org>
Tue, 24 Dec 2019 09:37:12 +0000 (09:37 +0000)

Trivial merge