Finally some good news! I built the editor from the source (it was tagged as version 4.2.1) and indeed, no more problems. So hopefully it’ll be fixed for after the hotfix next week!
Finally some good news! I built the editor from the source (it was tagged as version 4.2.1) and indeed, no more problems. So hopefully it’ll be fixed for after the hotfix next week!