Merge pull request #13447 from eileenmcnaughton/dumb_stuff
authorSeamus Lee <seamuslee001@gmail.com>
Mon, 14 Jan 2019 07:28:21 +0000 (18:28 +1100)
committerGitHub <noreply@github.com>
Mon, 14 Jan 2019 07:28:21 +0000 (18:28 +1100)
[tidy-up] remove a couple of useless bits of code


Trivial merge