Merge pull request #2316 from sharkcz/s390x
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Thu, 21 Nov 2019 17:03:00 +0000 (18:03 +0100)
committerGitHub <noreply@github.com>
Thu, 21 Nov 2019 17:03:00 +0000 (18:03 +0100)
zarch: treat z15 as z14 instead of generic


Trivial merge