On Mon, 14 Apr 2014, Edward Z. Yang wrote: > Hey Gergo, > > It looks like this failure came from one of your commits, which didn't > include a submodule update. Noted, thanks. The git submodule voodoo is still a bit new to me.