Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #1834 from srcejon/fix_1833
Flush log stream after write, so data is available immediately
- Loading branch information