Re: [hwloc-devel] GIT: hwloc branch master updated. c05fc46fa58d792b13b6b4aec30d7a81877185f4

2013-11-07 Thread Jeff Squyres (jsquyres)
I'll investigate. On Nov 7, 2013, at 12:37 AM, Brice Goglin wrote: > Jeff, > This mail looks strange. The actual diff and commit message is missing. > Also we got a commit mail for HEAD for some reason. > Brice > > > > Le 07/11/2013 09:35, MPI Team a écrit : >> The branch, master has been upd

Re: [hwloc-devel] GIT: hwloc branch master updated. c05fc46fa58d792b13b6b4aec30d7a81877185f4

2013-11-07 Thread Brice Goglin
Jeff, This mail looks strange. The actual diff and commit message is missing. Also we got a commit mail for HEAD for some reason. Brice Le 07/11/2013 09:35, MPI Team a écrit : > The branch, master has been updated >via c05fc46fa58d792b13b6b4aec30d7a81877185f4 (commit) > from e37c