GitHub PushEvent at 2014-02-27 21:31:52
Repository: servo
Actor: bors-servo
Payload: {"shas":[["39e571ae4e23e7c2b96f33773c0c1ea057968487","75f1ed51a9625177afa96587ef1f3137fe38c5a3@gentryville.net","Renamed HTMLIframeElementTypeId to HTMLIFrameElementTypeId","hgentry",true],["b33833cd1a1080c37959d0e465ba21f58e37f3f0","6452a2e5b342f5a61b660d46df032cfbfb4af299@mozilla.com","auto merge of #1781 : hgentry/servo/mozilla-servo, r=metajack\n\nSimple change. I hope I'm using github correctly; I'm not too familiar with the PR system. Fixes #1777.","bors-servo",true]],"size":2,"ref":"refs/heads/auto","head":"b33833cd1a1080c37959d0e465ba21f58e37f3f0"}