Merge pull request #2792 from pkubaj/patch-1
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Mon, 24 Aug 2020 06:03:39 +0000 (08:03 +0200)
committerGitHub <noreply@github.com>
Mon, 24 Aug 2020 06:03:39 +0000 (08:03 +0200)
Add aliases for armv6, armv7


Trivial merge