{"push_id":1039892055,"size":2,"distinct_size":2,"ref":"refs/heads/auto","head":"db95de6e581f5bf03406264c7f690bca5bb4701b","before":"37799a40251ae4df695d2257f57063c37d739329","commits":[{"sha":"db2c1841cbc5ecbc9ebc43f4cf85f12cf0c77ca8","author":{"email":"5fbe89295ed5fbc903a91b921e10112e97e4a3cb@limpet.net","name":"Matt Brubeck"},"message":"Fix delete_char when selection range is empty\n\nAn empty selection range should be treated the same as no selection.\nFixes browserhtml/browserhtml#930.","distinct":true,"url":"https://api.github.com/repos/servo/servo/commits/db2c1841cbc5ecbc9ebc43f4cf85f12cf0c77ca8"},{"sha":"db95de6e581f5bf03406264c7f690bca5bb4701b","author":{"email":"1d30da7446c147361b50ba946a7897e87cc888f4@mozilla.com","name":"bors-servo"},"message":"Auto merge of #10182 - mbrubeck:delete_char, r=jdm\n\nFix delete_char when selection range is empty\n\nAn empty selection range should be treated the same as no selection.  Fixes browserhtml/browserhtml#930.\n\nr? @jdm\n\n<!-- Reviewable:start -->\n---\nThis change is [<img src=\"https://reviewable.io/review_button.svg\" height=\"35\" align=\"absmiddle\" alt=\"Reviewable\"/>](https://reviewable.io/reviews/servo/servo/10182)\n<!-- Reviewable:end -->","distinct":true,"url":"https://api.github.com/repos/servo/servo/commits/db95de6e581f5bf03406264c7f690bca5bb4701b"}]}