v9.0.0302
75e9a669 · patch 9.0.0302: CI for Coverity is bothered by deprecation warnings ·