Merge pull request #2071 from jeffbolznv/version_less
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Thu, 30 Jan 2020 07:58:38 +0000 (00:58 -0700)
committerGitHub <noreply@github.com>
Thu, 30 Jan 2020 07:58:38 +0000 (00:58 -0700)
Use NOT ... VERSION_LESS instead of VERSION_GREATER_EQUAL


Trivial merge