Merge pull request #2129 from martin-frbg/armv8azure
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Sun, 12 May 2019 07:55:57 +0000 (09:55 +0200)
committerGitHub <noreply@github.com>
Sun, 12 May 2019 07:55:57 +0000 (09:55 +0200)
Move ARMv8/gcc CI job from Travis to Azure


Trivial merge