Skip to content

Silence coverity log, since it's now useless

jvoisin requested to merge jvoisin/openmw:silence_coverity_log into master

Merge request reports