GitHub PushEvent at 2014-10-29 10:57:53
Repository: jsxgraph
Actor: alfredwassermann
Payload: {"shas":[["c8fb1063aac05e7c2d5c3419b10ca899d46f0d0b","03ee89d7913c9c323d6cba515d41448c5196d137@uni-bayreuth.de","Introduce board attribute \"ignoreLabels\" to control when labels are chosen as drag elements.","alfred",true]],"size":1,"ref":"refs/heads/master","head":"c8fb1063aac05e7c2d5c3419b10ca899d46f0d0b"}