commit | 06250f31e85e5b67b60b5d6d52a4ac0f0de62545 | [log] [tgz] |
---|---|---|
author | Joshua Haberman <jhaberman@gmail.com> | Thu Aug 05 19:52:24 2021 -0700 |
committer | GitHub <noreply@github.com> | Thu Aug 05 19:52:24 2021 -0700 |
tree | 36f3f6a425b07f47d6cb7ed72113bd9edbdd1638 | |
parent | 0a5dc68d9fd787f1033ec0441886d219e6b9bbf0 [diff] | |
parent | 170bd7ca3ac4b49a4e7e9bdbd1073d22e21859ab [diff] |
Merge pull request #270 from haberman/fix32 Fix a warning in the 32-bit build.