Dear Brad,
A side question: Is there an easy way to find these patches on github given the patch numbers, as you gave?
Sure, you can go to https://github.com/gambit/gambit/commit/%5BHASH], using the commit hashes I listed. For example: * a6f919a Correctly identify arm64 architecture so that little-endian https://github.com/gambit/gambit/commit/a6f919a
Cheers Matthias