19 Dec
2022
19 Dec
'22
1:26 a.m.
On Mon Dec 19 01:15:46 2022 +0000, Alex Henrie wrote:
My vote is to close the merge request and mark the defect as a false positive in Coverity.
Okay!