Skip to content
This repository was archived by the owner on Oct 4, 2021. It is now read-only.

[release-8.3] Fix 988924: Some commands (save, undo) do not work if editor is detat…#9220

Open
monojenkins wants to merge 1 commit intorelease-8.3from
backport-pr-9218-to-release-8.3
Open

[release-8.3] Fix 988924: Some commands (save, undo) do not work if editor is detat…#9220
monojenkins wants to merge 1 commit intorelease-8.3from
backport-pr-9218-to-release-8.3

Commits

Commits on Nov 8, 2019