19 Dec
2022
19 Dec
'22
1:15 a.m.
On Mon Dec 19 01:15:46 2022 +0000, Fabian Maurer wrote:
So, should that be closed? Or does it have merit?
My vote is to close the merge request and mark the defect as a false positive in Coverity.