Merge pull request #2854 from martin-frbg/travis-graviton
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Wed, 23 Sep 2020 19:59:18 +0000 (21:59 +0200)
committerGitHub <noreply@github.com>
Wed, 23 Sep 2020 19:59:18 +0000 (21:59 +0200)
Add an AWS-Graviton2 build to Travis CI


Trivial merge