Merge pull request #15485 from demeritcowboy/role-name-heading
authorEileen McNaughton <emcnaughton@wikimedia.org>
Tue, 15 Oct 2019 19:46:37 +0000 (08:46 +1300)
committerGitHub <noreply@github.com>
Tue, 15 Oct 2019 19:46:37 +0000 (08:46 +1300)
[NFC] dev/core#1046 - more accurate column heading


Trivial merge