Merge pull request #1927 from cdr/dead-code

Remove dead code

Parents: eccaf8e , e86c066

Committed by GitHub <noreply@github.com> on 7/31/2020, 5:25:56 PM