Merge pull request #415 from negativeExponent/core_option_cleanup
authorhizzlekizzle <hizzlekizzle@users.noreply.github.com>
Sun, 10 May 2020 18:41:14 +0000 (13:41 -0500)
committerGitHub <noreply@github.com>
Sun, 10 May 2020 18:41:14 +0000 (13:41 -0500)
Core option cleanup


Trivial merge