Merge pull request #2843 from mhillenibm/fixup_merge_dynamic_zarch
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Thu, 17 Sep 2020 15:28:43 +0000 (17:28 +0200)
committerGitHub <noreply@github.com>
Thu, 17 Sep 2020 15:28:43 +0000 (17:28 +0200)
s390x/DYNAMIC_ARCH: fixup broken merge and reapply simplification


Trivial merge