tree 1ac97a0f9bb50c5371e5084ee172636bcda9cd51
parent cfeb1ad6854aa6d804acf0aa674a0fd839f08d73
author Joshua Haberman <jhaberman@gmail.com> 1641798284 -0800
committer Joshua Haberman <jhaberman@gmail.com> 1641798325 -0800

Cleaned up IsInitialized().