Merge pull request #20847 from eileenmcnaughton/ref
authorEileen McNaughton <emcnaughton@wikimedia.org>
Thu, 15 Jul 2021 00:24:33 +0000 (12:24 +1200)
committerGitHub <noreply@github.com>
Thu, 15 Jul 2021 00:24:33 +0000 (12:24 +1200)
commit4dc468fdc1e47f8ce0ea1536dd021b1fe83c2417
tree562f88be5b6248466c3575af120266da4e874f76
parent012138dcd88e928443b529f3f9ebe331ec649f4c
parentf7a0f12e7dc19b24835a97fa8440f0950782bd8f
Merge pull request #20847 from eileenmcnaughton/ref

Minor simplification - use casting