GitHub PushEvent at 2014-09-27 00:30:29
Repository: agda-stdlib
Actor: asr
Payload: {"shas":[["5d0e62b7a56345f62fe1839581b731cb5c61b6ba","1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","[ release notes ] Fixed\n\nThe changes to Data.List.NonEmpty don't belong to version 0.8.1.","Andrés Sicard-Ramírez",true],["f4ae3725cfc430a18dfeeb11b913f355b6be7846","1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","[ release notes ] Added TODO","Andrés Sicard-Ramírez",true]],"size":2,"ref":"refs/heads/master","head":"f4ae3725cfc430a18dfeeb11b913f355b6be7846"}