While cherry-picks should be annotated with "Cherry-pick", "Cherry-picked" is also a reasonable annotation.
<rdar://problem/101602436>
Pull request: https://github.com/WebKit/WebKit/pull/5822
Committed 256036@main (f5a276c914c5): <https://commits.webkit.org/256036@main> Reviewed commits have been landed. Closing PR #5822 and removing active labels.
Committed 252432.691@safari-7614-branch (b8442b9a950b): <https://commits.webkit.org/252432.691@safari-7614-branch> Reviewed commits have been landed. Closing PR #165 and removing active labels.