Merge openlibm (0.7.0+dfsg-2) import into refs/heads/workingbranch
authorGraham Inggs <ginggs@debian.org>
Tue, 30 Jun 2020 13:26:26 +0000 (14:26 +0100)
committerGraham Inggs <ginggs@debian.org>
Tue, 30 Jun 2020 13:26:26 +0000 (14:26 +0100)

Trivial merge