I got the fix merged. Any by the time I sync'ed to master a built, it was
broken again already :-( This will likely be a pain to maintain.
The additional fix (
https://chromium-review.googlesource.com/c/v8/v8/+/2005528) has now also
been merged. (The V8 core team are really very good at prompt
Thanks Clemens. I would be very happy if someone more familiar could
provide some insight.
Any pointers in the Google Chrome source code for Android would also be
helpful. I suppose they have already faced this problem and implemented it
properly.
On Thursday, January 16, 2020 at 3:41:22 PM
