GitHub PushEvent at 2014-06-18 17:44:35
Repository: logtalk3
Actor: pmoura
Payload: {"shas":[["abeca5c68a442e44b2ddb3ace5843ea8176bf3eb","404ef617c8a0f36e8ad9f7518180025451ff9736@logtalk.org","One cut too many and overzealous type-checking in previous commit to avoid spurious choice points","Paulo Moura",true]],"size":1,"ref":"refs/heads/master","head":"abeca5c68a442e44b2ddb3ace5843ea8176bf3eb"}