{"push_id":662220307,"size":1,"distinct_size":1,"ref":"refs/heads/boxsizing_paddingbox","head":"f04aa9793f4df4f1767fccb481caeda8fc7e7034","before":"f696db25ba75e0d0e278f79774b664bf9916aa7f","commits":[{"sha":"f04aa9793f4df4f1767fccb481caeda8fc7e7034","author":{"email":"3174b3f485d39b7161e9f74f3db2e31c2f965ae9@samsung.com","name":"Jinwoo Song"},"message":"Add support for 'padding-box' value for 'box-sizing' property (fixes #6032)\n\nSpec: http://dev.w3.org/csswg/css-ui/#valdef-box-sizing-padding-box\nCurrently, only Firefox is supporting this value.","distinct":true,"url":"https://api.github.com/repos/Jinwoo-Song/servo/commits/f04aa9793f4df4f1767fccb481caeda8fc7e7034"}]}