Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
I tried the fix from https://bugzilla.mozilla.org/show_bug.cgi?id=1601707
Therefore I instead applied
which is supposedly a patch for the same problem.
I admit I don‘t know why this helps. I just tried it out because I