Changes pushed with changeset 8818d31a2a397ff86a4b843e11ed0ba31c4c8f3e
User
Push date [To Local]
ChangesetPatch author — Commit message
servo-vcs-sync@mozilla.com
Tue May 23 07:25:35 2017 +0000
8818d31a2a397ff86a4b843e11ed0ba31c4c8f3eManfred Brandl — servo: Merge #16979 - remove unused style::restyle_hints::RestyleReplacements (from manfredbrandl:patch-1); r=emilio