Merge pull request #2012 from jempatel/master
authorJo-Philipp Wich <redacted>
Mon, 30 Jul 2018 14:07:00 +0000 (16:07 +0200)
committerGitHub <redacted>
Mon, 30 Jul 2018 14:07:00 +0000 (16:07 +0200)
fix compilation failure when luasrcdiet is being copied to non existing directory


Trivial merge
git clone https://git.99rst.org/PROJECT