Merge pull request #6254 from pgavlin/RemoveRenameUpdatedVars
authorPat Gavlin <pgavlin@gmail.com>
Wed, 13 Jul 2016 22:11:13 +0000 (15:11 -0700)
committerGitHub <noreply@github.com>
Wed, 13 Jul 2016 22:11:13 +0000 (15:11 -0700)
Remove RenameUpdatedVars.


Trivial merge