Merge pull request #1930 from martin-frbg/issue1908
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Sun, 23 Dec 2018 14:06:33 +0000 (15:06 +0100)
committerGitHub <noreply@github.com>
Sun, 23 Dec 2018 14:06:33 +0000 (15:06 +0100)
commit942e229ed52adc962cac335e4d3b4adf54ff74d7
tree23f0876502cc6dc815c52a59c5bb471a82864dbb
parent20033f992aa1b12c1c5b6ab78b08ec3a620b0cdf
parent26a3402773050c8fb3c0e633e967fc1a6456fe0b
Merge pull request #1930 from martin-frbg/issue1908

Reflect ARMV8 target definition changes from PR1876