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
_______________________________________________ freebsd-ports@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-ports To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org"
