...
Pull request: https://github.com/WebKit/WebKit/pull/3425
We took another approach to fix the issue: https://bugs.webkit.org/show_bug.cgi?id=244049