Merge pull request #15425 from eileenmcnaughton/loc_clean
authorSeamus Lee <seamuslee001@gmail.com>
Tue, 8 Oct 2019 06:51:49 +0000 (08:51 +0200)
committerGitHub <noreply@github.com>
Tue, 8 Oct 2019 06:51:49 +0000 (08:51 +0200)
[NFC] minor simplification


Trivial merge