Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
Motivation for this change
The AArch64 Linux build is broken, so this is an attempt to fix it by backporting a recent bug fix from upstream that isn't in the latest released version (8.3). I don't have an AArch64 machine to test on, so I guess I'll find out if it worked once ofborg tests this PR.