Merge pull request #15182 from demeritcowboy/locate-name-or-label
authorEileen McNaughton <emcnaughton@wikimedia.org>
Mon, 2 Sep 2019 07:13:42 +0000 (19:13 +1200)
committerGitHub <noreply@github.com>
Mon, 2 Sep 2019 07:13:42 +0000 (19:13 +1200)
dev/core#1046 - allow for the real "name" to be specified in xml


Trivial merge