)]}' { "commit": "10ac8f05b783293558c5acf2ad2310ca75faaa8b", "tree": "8bcea000d59faca717fbb293acb97b2dc8cd5a68", "parents": [ "5d23a11da27dc0db869c804794525c2d465345e6", "7b3139ab293ce6c544b0af293553ca4a53372165" ], "author": { "name": "Han Seoul-Oh", "email": "laughinghan@gmail.com", "time": "Mon Aug 14 22:31:38 2017 -0700" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Mon Aug 14 22:31:38 2017 -0700" }, "message": "#767: Fix #709: typing \u0027\\text{\u0027 barfs\n\n", "tree_diff": [] }