vyevtyus
Results
1
comments of
vyevtyus
> for patch - > > 1. can we contribute it to coverity? > 2. if we would still have it - worth dropping it lower level ( .github/patches/coverity/ ?)...