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)
commit5e86b28ffb8124a5ee2a58c640245ee5b285110d
treeaf644434cf81d1c5f01cc623fc65f0d185df1410
parent9a80305c089704d8d817968d1ef1a20a09ced9b4
parent141dbedeac8a19d8ea3f70f6346f36dbf48aade0
Merge pull request #2071 from jeffbolznv/version_less

Use NOT ... VERSION_LESS instead of VERSION_GREATER_EQUAL