New port question JBoss 7.1.3

[Alexander Yerenkow]

Hello there.
I made some time ago port for JBoss 7.1.1, which is currently in ports tree.
It called java/jboss7.
Now I sending to you (any committer will do) new port - jboss71.
I'm not sure I want to replace jboss7 with 7.1.3, since soon there will be
7.2.
And they have a big difference between 7.1 and 7.2.
So, I'd like to keep jboss7 (7.1.1) and introduce jboss71 (7.1.3) and a bit
later jboss72 (with some CR).

Is this ok?

Since there's many files in plist, I can't attach shar to PR, If there is
need in PR after this email, I'll create one.

Thanks!
--
Regards,
Alexander Yerenkow

[Rodrigo Brito]

Hi Yerenkow,

Good job.

That organization is the best.

Rodrigo Brito

> _______________________________________________
> freebs...@freebsd.org mailing list
> http://lists.freebsd.org/mailman/listinfo/freebsd-ports
> To unsubscribe, send any mail to "freebsd-port...@freebsd.org"
_______________________________________________
freebs...@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to "freebsd-port...@freebsd.org"

[Alexander Yerenkow]

2012/11/15 Rodrigo Brito <rodrig...@bsd.com.br>

> Hi Yerenkow,
>
> Good job.
>
> That organization is the best.
>
> Rodrigo Brito
>

Thanks.
Will someone take it? There seems some troubles with GNATS currently.