Merge hwloc (1.11.12-3) import into refs/heads/workingbranch
authorSamuel Thibault <sthibault@debian.org>
Fri, 8 Feb 2019 23:38:46 +0000 (23:38 +0000)
committerSamuel Thibault <sthibault@debian.org>
Fri, 8 Feb 2019 23:38:46 +0000 (23:38 +0000)

Trivial merge