Merge branch 'smoke-me/ilmari/exec-empty-argv' into blead
authorDagfinn Ilmari Mannsåker <ilmari@ilmari.org>
Wed, 18 Oct 2017 16:04:57 +0000 (17:04 +0100)
committerDagfinn Ilmari Mannsåker <ilmari@ilmari.org>
Wed, 18 Oct 2017 16:04:57 +0000 (17:04 +0100)

Trivial merge