Skip to content

Edit locally. Do not lock if locking is disabled on the server.#5371

Merged
allexzander merged 1 commit into
masterfrom
bugfix/do-not-lock-if-lock-is-not-available
Jan 26, 2023
Merged

Edit locally. Do not lock if locking is disabled on the server.#5371
allexzander merged 1 commit into
masterfrom
bugfix/do-not-lock-if-lock-is-not-available

Commits

Commits on Jan 26, 2023