Closed rainman110 closed 11 months ago
In GitLab by @mariusalexander on Feb 22, 2023, 14:34
added 1 commit
In GitLab by @mariusalexander on Feb 22, 2023, 14:34
marked this merge request as ready
In GitLab by @mariusalexander on Feb 22, 2023, 14:34
requested review from @rainman110
In GitLab by @mariusalexander on Feb 22, 2023, 14:35
@rainman110 please have look, I have noticed a typo in our logging method for shared and unique ptrs
In GitLab by @rainman110 on Feb 22, 2023, 19:35
approved this merge request
In GitLab by @rainman110 on Feb 22, 2023, 19:35
mentioned in commit 96c6ba95d210ad51e3a2b327f9b58257eb000fc7
In GitLab by @mariusalexander on Feb 22, 2023, 14:32
Merges 42-unqiue-ptr-and-shared-ptr-are-not-logged-correctly -> master
Closes #42