Merge pull request #414 from negativeExponent/libretro
authorhizzlekizzle <hizzlekizzle@users.noreply.github.com>
Thu, 7 May 2020 22:39:07 +0000 (17:39 -0500)
committerGitHub <noreply@github.com>
Thu, 7 May 2020 22:39:07 +0000 (17:39 -0500)
core options fixup


Trivial merge