Merge pull request #273 from hhromic/backport-marm
authorTwinaphex <libretro@gmail.com>
Sat, 20 Apr 2019 13:47:44 +0000 (15:47 +0200)
committerGitHub <noreply@github.com>
Sat, 20 Apr 2019 13:47:44 +0000 (15:47 +0200)
Backport check for Thumb instructions from configure script


Trivial merge