.
Pull request: https://github.com/WebKit/WebKit/pull/19176
Committed 269422@main (dc17de89a522): <https://commits.webkit.org/269422@main> Reviewed commits have been landed. Closing PR #19176 and removing active labels.
<rdar://problem/117087525>
Committed 267815.327@safari-7617-branch (2a3068569fc1): <https://commits.webkit.org/267815.327@safari-7617-branch> Reviewed commits have been landed. Closing PR #845 and removing active labels.
Committed 267815.395@safari-7617-branch (975762e3dd0f): <https://commits.webkit.org/267815.395@safari-7617-branch> Reviewed commits have been landed. Closing PR #867 and removing active labels.
Re-opened since this is blocked by bug 263997
This workaround is no longer necessary; the root cause was the fact that one of iOS 17 builders was using an iOS 16 SDK.