I cannot agree with this resolution since AS 7.2.0 was never released. There is, for example, no distribution to be found on Maven Central nor on JBoss download page. That is also made clear by the fact that the Arquillian Getting Started guide still references JBoss AS 7.1.1, the last binary distribution to be found at both locations.

In light of this Arquillian should have retained AS 7.1.1 support.