jakarta-tomcat5已经out of fetch好几天了,竟然没有人提PR…sigh..
只好自己动手了……
PR: ports/69617 [maintainer] update www/jakarta-tomcat5 to 5.0.27
jakarta-tomcat5已经out of fetch好几天了,竟然没有人提PR…sigh..
只好自己动手了……
PR: ports/69617 [maintainer] update www/jakarta-tomcat5 to 5.0.27