Merge openlibm (0.5.4+dfsg-3) import into refs/heads/workingbranch
authorGraham Inggs <ginggs@debian.org>
Tue, 24 Jan 2017 18:26:37 +0000 (18:26 +0000)
committerGraham Inggs <ginggs@debian.org>
Tue, 24 Jan 2017 18:26:37 +0000 (18:26 +0000)

Trivial merge