Merge branch 'master' into 'master'
authorEric S. Raymond <esr@thyrsus.com>
Mon, 25 Mar 2019 22:29:05 +0000 (22:29 +0000)
committerEric S. Raymond <esr@thyrsus.com>
Mon, 25 Mar 2019 22:29:05 +0000 (22:29 +0000)
fix: superhack input path reading

See merge request esr/wumpus!1


Trivial merge