Le lundi 15 juillet 2013 à 20:49 -0700, Benjamin Peterson a écrit : > Okay, I fixed the repo. You may need to strip your repo per my last mail. I'm a bit wary of what might happen on automated stuff (i.e. buildbots). Regards Antoine.