GitHub PushEvent at 2014-07-01 22:18:28
Repository: agda
Actor: asr
Payload: {"shas":[["543b2321f7d3ee0bf4fc0f77b515298083d6da18","1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","[ releases ] Updated with the master version","Andrés Sicard-Ramírez",false],["2f50374902ce30d205806c4e540b4e389284e09f","1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","[ releases ] Documented required changes in mk/paths.mk","Andrés Sicard-Ramírez",false],["31bfd0f2f884aaebf3ab40f4a57e4fe95c603859","1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","Merge branch 'maint-2.4.0'","Andrés Sicard-Ramírez",true]],"size":3,"ref":"refs/heads/master","head":"31bfd0f2f884aaebf3ab40f4a57e4fe95c603859"}