Yaroslav Chvanov 4a00c06351 build: remove Coverity work-around ...

Coverity hasn't been used in a long while, by their web-site [1], last
analyzing was done in 2019-02 - over 4 years ago.

2023-09-25 22:39:58 +03:00

999 B

Raw Permalink Blame History

View Raw