jbossas/jboss-as — pull request #3237 by bstansberry (2012-10-12 01:45:43+00:00)
Title: Move the version to 7.1.4.Final-SNAPSHOT

Oops; I should have done this after the 7.1.3.Beta1 tag.