GitHub PushEvent at 2014-07-29 17:34:21
Repository: TeXnicle
Actor: martinhewitson
Payload: {"shas":[["8aa8d94e0af67f3fa08653c37de418c7b15bd8dd","c671216c8cf24506c2945f707191a94b7fdb44e3@aei.mpg.de","Some slight refactoring to allow for some optimisations.","Martin Hewitson",true]],"size":1,"ref":"refs/heads/master","head":"8aa8d94e0af67f3fa08653c37de418c7b15bd8dd"}