Merge hwloc (1.11.13-1) import into refs/heads/workingbranch
authorSamuel Thibault <sthibault@debian.org>
Wed, 24 Jul 2019 15:33:43 +0000 (16:33 +0100)
committerSamuel Thibault <sthibault@debian.org>
Wed, 24 Jul 2019 15:33:43 +0000 (16:33 +0100)

Trivial merge