New port question JBoss 7.1.3

[Radim Kolar]

are you sure that this tag is still there?
ponto:(jboss)/tmp/jboss>git remote -v
origin  git://github.com/jbossas/jboss-as.git (fetch)
origin  git://github.com/jbossas/jboss-as.git (push)
ponto:(jboss)/tmp/jboss>git pull
Updating b38e03a..19fcd3b
Fast-forward
  .../main/resources/modules/org/jboss/as/web/main/module.xml   |  6 +++---
  .../deployers/ra/processors/ParsedRaDeploymentProcessor.java  | 11 
+++++++----
  .../java/org/jboss/as/connector/logging/ConnectorLogger.java  |  4 ++--
  testsuite/integration/src/test/xslt/enableJTS.xsl             |  8 
+++++---
  4 files changed, 17 insertions(+), 12 deletions(-)
ponto:(jboss)/tmp/jboss>git tag
7.0.0.Alpha1
7.0.0.Alpha1-final
7.0.0.Beta1
7.0.0.Beta1-prerelease
7.0.0.Beta2
7.0.0.Beta2-prerelease
7.0.0.Beta3
7.0.0.CR1
7.0.0.Final
7.0.0.Final-prerelease
7.0.0.Final-prerelease2
7.0.0.Final-prerelease3
7.0.1.Final
7.0.2.Final
7.0.2.Final-prerelease
7.0.2.SP1-prerelease
7.1.0.Alpha1
7.1.0.Beta1
7.1.0.Beta1b
7.1.0.Beta1b-prerelease
7.1.0.CR1
7.1.0.CR1b
7.1.0.Final
7.1.0.Final-prerelease
7.1.0.Final-prerelease2
7.1.1.Final
7.1.2-prerelease
7.1.2.Final
7.1.3.Beta1