{"push_id":658575520,"size":1,"distinct_size":1,"ref":"refs/heads/maint-2.4.2","head":"3cfb9b832cfc5bc170879fd4298ce871a6efcaba","before":"25e816038703cbc505ca2c05ef309beb63e62776","commits":[{"sha":"3cfb9b832cfc5bc170879fd4298ce871a6efcaba","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"[ Issue 1460 ] Fixed.\n\nThis time I used cpp instead of cpphs with GHC 7.4.2 for fixing the\nissue. I think it isn't the best solution but:\n\n1. I couldn't reproduce the issue.\n\n2. No user has reported the problem.\n\n3. There was a missing test with cpp which is fixed by this solution.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/3cfb9b832cfc5bc170879fd4298ce871a6efcaba"}]}