Merge pull request #467 from tobiasd/20171207-execs
authorHypolite Petovan <mrpetovan@gmail.com>
Thu, 7 Dec 2017 14:10:50 +0000 (09:10 -0500)
committerGitHub <noreply@github.com>
Thu, 7 Dec 2017 14:10:50 +0000 (09:10 -0500)
some files were executable, now they are not


Trivial merge