Develop
Merge request reports
Activity
assigned to @mbellgardt
By Sebastian Pape on 2021-11-23T09:28:33 (imported from GitLab)
added 3 commits
- b607eaab - avoid attempted double deletion, if two uUniLog streams use the same file stream
- 8d539baa - Change File_Handle raw pointer to unique pointer to make ownership explicit
- d7257923 - Merge branch 'fix/double-deletion' into 'develop'
By Jonathan Ehret on 2022-01-10T12:22:49 (imported from GitLab)
mentioned in commit a4247b20
By Jonathan Ehret on 2022-01-10T12:23:27 (imported from GitLab)
Please register or sign in to reply