GitHub PushEvent at 2014-08-31 10:44:08
Repository: scala
Actor: gbasler
Payload: {"shas":[["27896b824ee75895ec4cd7d4fd981ef2e3971011","af9d50c5890ef203d7cd74146c0743c9e4caadf5@gmail.com","Cleanup `LinkedHashSet` fixes and replace them with `Set` (i.e., back to initial implementation).\n\nSince the non-determinism in the DPLL procedure has been fixed that workaround is not needed anymore.","Gerard Basler",true]],"size":1,"ref":"refs/heads/ticket/7746","head":"27896b824ee75895ec4cd7d4fd981ef2e3971011"}