Merge pull request #16835 from colemanw/removeOldStuff
authorSeamus Lee <seamuslee001@gmail.com>
Thu, 19 Mar 2020 07:19:52 +0000 (18:19 +1100)
committerGitHub <noreply@github.com>
Thu, 19 Mar 2020 07:19:52 +0000 (18:19 +1100)
Remove old stuff


Trivial merge