Merge pull request #15033 from eileenmcnaughton/dumb
authorSeamus Lee <seamuslee001@gmail.com>
Wed, 14 Aug 2019 09:01:10 +0000 (19:01 +1000)
committerGitHub <noreply@github.com>
Wed, 14 Aug 2019 09:01:10 +0000 (19:01 +1000)
Remove silly dumb unreachable lines


Trivial merge