The v1.8 branch commit emails are missing? Do you have to explicit enable them on github?
Brice Le 06/11/2013 15:30, Jeff Squyres (jsquyres) a écrit : > There was a disk problem on the IU server where the git commit message came > from. > > It was just fixed, which is why we got the commit email so late. >