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)
[NFC] Rename local variable


Trivial merge