Merge pull request #715 from gabrielstedman/ret
authorYann Collet <Cyan4973@users.noreply.github.com>
Mon, 27 May 2019 18:59:23 +0000 (11:59 -0700)
committerGitHub <noreply@github.com>
Mon, 27 May 2019 18:59:23 +0000 (11:59 -0700)
Handle file not existing case #704


Trivial merge