Merge pull request #13820 from keszybz/dead-code-removal
authorYu Watanabe <watanabe.yu+github@gmail.com>
Wed, 23 Oct 2019 07:11:27 +0000 (16:11 +0900)
committerGitHub <noreply@github.com>
Wed, 23 Oct 2019 07:11:27 +0000 (16:11 +0900)
Dead code removal


Trivial merge