When a mismatch is found, we currently print the warning but continue. We should raise an exception and catch it so that the user can take action if needed.
<rdar://problem/123852726>
Pull request: https://github.com/WebKit/WebKit/pull/25313
Committed 275703@main (839318cccbdf): <https://commits.webkit.org/275703@main> Reviewed commits have been landed. Closing PR #25313 and removing active labels.
Reopened Bugzilla. testing git-webkit revert on radars, tracking revert in https://bugs.webkit.org/show_bug.cgi?id=267969.
Committed 272448.727@safari-7618-branch (5b5803eb4127): <https://commits.webkit.org/272448.727@safari-7618-branch> Reviewed commits have been landed. Closing PR #1127 and removing active labels.