GitHub PushEvent at 2014-12-12 11:35:06
Repository: ghc
Actor: jstolarek
Payload: {"shas":[["b46eeeaf3040730502a3b61404abfa7ebb352eae","fd5ac95021389c664c1d9007327b3b9c9eebb8bb@p.lodz.pl","Comment only","Jan Stolarek",true],["bf5bc8b6cf675d72822727d6619828b0907ded02","fd5ac95021389c664c1d9007327b3b9c9eebb8bb@p.lodz.pl","Use promoted types to labex axiom branchness\n\nFixes #89","Jan Stolarek",true]],"size":2,"ref":"refs/heads/T6018-injective-type-families","head":"bf5bc8b6cf675d72822727d6619828b0907ded02"}