New port question JBoss 7.1.3
yerenkow at gmail.com
Thu Nov 15 14:14:20 UTC 2012
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
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.
More information about the freebsd-ports