Merge pull request #1856 from rengolin/armv8-a57
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Wed, 7 Nov 2018 20:01:29 +0000 (21:01 +0100)
committerGitHub <noreply@github.com>
Wed, 7 Nov 2018 20:01:29 +0000 (21:01 +0100)
[Arm64) Revert A53 detection as A57


Trivial merge