Merge pull request #746 from valentinewallace/remove-todo
authorMatt Corallo <649246+TheBlueMatt@users.noreply.github.com>
Tue, 10 Nov 2020 16:34:19 +0000 (08:34 -0800)
committerGitHub <noreply@github.com>
Tue, 10 Nov 2020 16:34:19 +0000 (08:34 -0800)
Remove unnecessary todo


Trivial merge