Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Check if we can clear the output buffer before cleaning (fixes #4090 …
…#4901)
- Loading branch information