GitHub PushEvent at 2014-06-11 14:00:20
Repository: coq
Actor: letouzey
Payload: {"shas":[["1c620d266885086e076011917d5b1d28af299ea1","6890fa1d738eb4a06cf1d2634a31d4aac12540b7@mattam.org","Move bug # 3368 to closed bugs","Matthieu Sozeau",true]],"size":1,"ref":"refs/heads/trunk","head":"1c620d266885086e076011917d5b1d28af299ea1"}