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)
commita7dc1bda18d96b62a472105da4e65399e9c0da71
treea998b3ee2a2c1cbca362c1f500a7f65c3d062152
parentaa5faaa7abb73437e212e5cc008bc78b61fa6721
parent81895158995a93dc8aca20059626d9807c384bf2
Merge pull request #12930 from pgavlin/TagGH11408_ARM32

Tag the GitHub_11408 test with its bug number.
tests/arm/Tests.lst