Merge pull request #2375 from juliusikkala/master
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Sun, 23 Aug 2020 06:43:18 +0000 (00:43 -0600)
committerGitHub <noreply@github.com>
Sun, 23 Aug 2020 06:43:18 +0000 (00:43 -0600)
Obey ENABLE_PCH CMake option


Trivial merge