Skip to content

Fix opening editors in new tab#4500

Merged
LukasHirt merged 2 commits intomasterfrom fix-editors-new-tabDec 15, 2020