Merge branch 'eurofix' into 'master'
authorDavid Griffith <dave@661.org>
Sun, 26 May 2019 03:31:06 +0000 (03:31 +0000)
committerDavid Griffith <dave@661.org>
Sun, 26 May 2019 03:31:06 +0000 (03:31 +0000)
Fix behavior cuased by commit 225d8d38

See merge request DavidGriffith/frotz!95


Trivial merge