Please see issue #1
This is for testing to see if the git commit comment works with trac
commit hook.
Merge branch 'master' of https://github.com/open-mpi/hwloc