Merge pull request pmem#9 from igchor/coverity_fix

Add exec rights for run-coverity.sh
pmem-bot · Jun 15, 2018 · ac3170b · ac3170b
2 parents 4326435 + b3ea2e5
commit ac3170b
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/utils/docker/run-coverity.sh b/utils/docker/run-coverity.sh