The v1.8 branch commit emails are missing? Do you have to explicit
enable them on github?
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.