Commit d1e9b4b96cc8d237c3532cf83da0d4b99d19abb5

Tom Tromey 2019-04-09T14:00:10

Merge pull request #482 from sharkcz/aarch64 fix check for Linux/aarch64