projects / feed / packages.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: eb87a83 6412ce9)
Merge pull request #6658 from MikePetullo/hwloc
authorTed Hess <thess@kitschensync.net>
Tue, 4 Sep 2018 19:23:12 +0000 (15:23 -0400)
committerGitHub <noreply@github.com>
Tue, 4 Sep 2018 19:23:12 +0000 (15:23 -0400)
hwloc: add new package


Trivial merge
Mirror of packages feed