Closed rainman110 closed 10 months ago
In GitLab by @mariusalexander on Nov 29, 2022, 08:26
Ready to merge
In GitLab by @mariusalexander on Dec 7, 2022, 15:19
requested review from @rainman110
In GitLab by @mariusalexander on Dec 7, 2022, 15:19
removed review request for @rainman110
In GitLab by @mariusalexander on Dec 7, 2022, 15:19
requested review from @rainman110
In GitLab by @rainman110 on Dec 16, 2022, 14:18
Lgtm!
In GitLab by @rainman110 on Dec 16, 2022, 14:18
approved this merge request
In GitLab by @mariusalexander on Dec 16, 2022, 14:28
mentioned in commit 011a1f9c4cafbe0ee730e823dd31cbe64f238aaf
In GitLab by @mariusalexander on Nov 29, 2022, 08:26
Merges 38-fix-nosdiscard-helper-macro -> master
Closes #38