tree 36f3f6a425b07f47d6cb7ed72113bd9edbdd1638
parent 0a5dc68d9fd787f1033ec0441886d219e6b9bbf0
author Joshua Haberman <jhaberman@gmail.com> 1628212442 -0700
committer Joshua Haberman <jhaberman@gmail.com> 1628212442 -0700

Fix a warning in the 32-bit build.