diff options
author | bors-servo <servo-ops@mozilla.com> | 2020-04-04 09:51:19 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-04 09:51:19 -0400 |
commit | 57fe27a4ef725a798c8fedaed9a3e0798f14b3fb (patch) | |
tree | c2d15176fdaff75be4e84beba28a25b562357612 /components/servo/lib.rs | |
parent | d64f7d427a8dc56bbfc92183f57588e7eb1d56c2 (diff) | |
parent | 8a0775fc8906a796668d68f85543ff9613eac7fd (diff) | |
download | servo-57fe27a4ef725a798c8fedaed9a3e0798f14b3fb.tar.gz servo-57fe27a4ef725a798c8fedaed9a3e0798f14b3fb.zip |
Auto merge of #26110 - servo:layout-2020-rm-note-dirty-descendant, r=emilio
Kill ServoLayoutElement::note_dirty_descendant
Diffstat (limited to 'components/servo/lib.rs')
0 files changed, 0 insertions, 0 deletions