Merge pull request #13452 from eileenmcnaughton/depre
authorSeamus Lee <seamuslee001@gmail.com>
Thu, 17 Jan 2019 01:13:12 +0000 (12:13 +1100)
committerGitHub <noreply@github.com>
Thu, 17 Jan 2019 01:13:12 +0000 (12:13 +1100)
Deprecate unused function


Trivial merge