Merge pull request #12930 from pgavlin/TagGH11408_ARM32
authorPat Gavlin <pgavlin@gmail.com>
Wed, 19 Jul 2017 20:23:05 +0000 (13:23 -0700)
committerGitHub <noreply@github.com>
Wed, 19 Jul 2017 20:23:05 +0000 (13:23 -0700)
Tag the GitHub_11408 test with its bug number.

1  2 
tests/arm/Tests.lst

Simple merge