A revert of a revert is esentially cherry-picking the original commit, and tools should treat double reverts that way.
<rdar://problem/102092026>
Pull request: https://github.com/WebKit/WebKit/pull/6254
Committed 256455@main (2a5674141114): <https://commits.webkit.org/256455@main> Reviewed commits have been landed. Closing PR #6254 and removing active labels.
Committed 252432.828@safari-7614-branch (34d509c3106f): <https://commits.webkit.org/252432.828@safari-7614-branch> Reviewed commits have been landed. Closing PR #196 and removing active labels.