Merge pull request #2084 from durswd/enable_rtti
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Tue, 18 Feb 2020 02:27:46 +0000 (19:27 -0700)
committerGitHub <noreply@github.com>
Tue, 18 Feb 2020 02:27:46 +0000 (19:27 -0700)
Add an option to make RTTI enabled


Trivial merge