GitHub PushEvent at 2014-11-24 14:19:08
Repository: FStar
Actor: ad-l
Payload: {"shas":[["a331f9861dedf6e850fae3da0b67182f71489a6f","9359a4d812173b65a3a0094cd86363e79731a3c2@delignat-lavaud.fr","Fixing sed and adding --lax to bootstrapping","Antoine Delignat-Lavaud",true]],"size":1,"ref":"refs/heads/master","head":"a331f9861dedf6e850fae3da0b67182f71489a6f"}