Commit e5225137a48b887beb18a9c6d5f81476e7960dc1

Martin Mitas 2016-10-24T10:58:23

scripts/coverity.sh: chmod 755