tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "William L. Thomson Jr." <wl...@gentoo.org>
Subject Re: Update build.properties.default for new JDT URL
Date Sun, 07 Oct 2007 17:42:06 GMT
On Sun, 2007-10-07 at 07:14 +0200, Peter Rossbach wrote:
> Thanks to report it,
> 
> I hope we can fix it before 6.0.15 tag.

FYI, this can likely be done for 5.5.x as well. On Gentoo we are
presently shipping/compiling 5.5.25 with 3.3. 6.0.x is still using 3.2,
but I will bump that next time I touch package or ebuild.

-- 
William L. Thomson Jr.
Gentoo/Java

Mime
View raw message