Merge hwloc (1.11.12-1) import into refs/heads/workingbranch
authorSamuel Thibault <sthibault@debian.org>
Fri, 14 Dec 2018 15:19:49 +0000 (15:19 +0000)
committerSamuel Thibault <sthibault@debian.org>
Fri, 14 Dec 2018 15:19:49 +0000 (15:19 +0000)

Trivial merge