GitHub PushEvent at 2014-01-29 19:08:08
Repository: wasp
Actor: alviano
Payload: {"shas":[["cbdd239d1ff76c3a2661168dbcff961f38d472f6","addb47291ee169f330801ce73520b96f2eaf20ea@alviano.net","Maybe done with the protocol for parallel solving of cautious consequences.","Mario Alviano",true]],"size":1,"ref":"refs/heads/queries","head":"cbdd239d1ff76c3a2661168dbcff961f38d472f6"}