Merge pull request #2294 from martin-frbg/ios-cleanup
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Mon, 4 Nov 2019 21:53:58 +0000 (22:53 +0100)
committerGitHub <noreply@github.com>
Mon, 4 Nov 2019 21:53:58 +0000 (22:53 +0100)
commit9955f0996f5be7d5931c6e32961886fa5b3b8a4f
treefec09e5c67b71856b295d86ef18982b3f582f18c
parenteb2eddf241dd5e46e0064cd311b6a63229897d21
parentdf857551c0d7062ebe03c9600de97fcf0620e0c2
Merge pull request #2294 from martin-frbg/ios-cleanup

Remove obsolete workarounds for IOS on ARMV8