Merge pull request #184 from dgkoch/dkoch_remove_hittkhr
authorRaun Krisch <raun.krisch@gmail.com>
Fri, 27 Nov 2020 23:52:34 +0000 (17:52 -0600)
committerGitHub <noreply@github.com>
Fri, 27 Nov 2020 23:52:34 +0000 (17:52 -0600)
remove HitTKHR alias


Trivial merge