{"push_id":825056738,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ea94fc36ddc9b95630861f56bf411c3b9a20f5b7","before":"69adfece9c921c6471e31b71d71a83f82b8b1d72","commits":[{"sha":"ea94fc36ddc9b95630861f56bf411c3b9a20f5b7","author":{"email":"03ee89d7913c9c323d6cba515d41448c5196d137@uni-bayreuth.de","name":"alfred"},"message":"Fix: interactive HTML elements in foreignObject.\n\nIt is better to control this with the attribute \"externalHTML\".\nIf true (which is the default) all text elements are created as separate\nHTML elements. For including the text element in a SVG dump, this flag\nhas to be set to false.","distinct":true,"url":"https://api.github.com/repos/jsxgraph/jsxgraph/commits/ea94fc36ddc9b95630861f56bf411c3b9a20f5b7"}]}