Tomcat 4.1.24 stable has been released. The www/jakarta-tomcat41 port should be updated.
On (2003/03/24 11:31), Ernst de Haan wrote: > >Description: > Tomcat 4.1.24 stable has been released. The www/jakarta-tomcat41 port should > be updated. This PR remains unassigned. Did you mean to take it for yourself? If not, I'll pick it up for you. Ciao, Sheldon.
On Tuesday 25 March 2003 16:12, Sheldon Hearn wrote: > On (2003/03/24 11:31), Ernst de Haan wrote: > > >Description: > > > > Tomcat 4.1.24 stable has been released. The www/jakarta-tomcat41 port > > should be updated. > > This PR remains unassigned. Did you mean to take it for yourself? If > not, I'll pick it up for you. Yeah I wanted to assign it to myself. I use the PR database as external memory :) Ernst
Responsible Changed From-To: freebsd-ports-bugs->znerd I'll handle this.
State Changed From-To: open->closed Port updated.