Merge pull request #14415 from mikedn/rc-cleanup
authorJoseph Tremoulet <JCTremoulet@gmail.com>
Tue, 7 Nov 2017 13:09:01 +0000 (08:09 -0500)
committerGitHub <noreply@github.com>
Tue, 7 Nov 2017 13:09:01 +0000 (08:09 -0500)
RangeCheck cleanup


Trivial merge