Merge pull request #15377 from demeritcowboy/relTypes-not-relTypes
authorEileen McNaughton <emcnaughton@wikimedia.org>
Thu, 3 Oct 2019 05:31:54 +0000 (07:31 +0200)
committerGitHub <noreply@github.com>
Thu, 3 Oct 2019 05:31:54 +0000 (07:31 +0200)
commit23e3ece040e4515f468883bf38e06971249d6262
tree73715a7a585c6d350cbbb24ea284fe2b9e3aaa45
parentf76980beca30b2cd48350576ab3e7a8f1284fb06
parentd02fe8e45a4a32f613d30d145b985b014f79e751
Merge pull request #15377 from demeritcowboy/relTypes-not-relTypes

[NFC] Rename local variable