Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[Fixes bug #772172] Ensure that the active tool has committed its wor…
…k before attempting to close the document
- Loading branch information