tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Peter Rossbach ...@objektpark.de>
Subject Re: Update build.properties.default for new JDT URL
Date Sun, 07 Oct 2007 18:19:46 GMT
OK, I add this to the tomcat 5.5 STATUS file :-)
Peter


Am 07.10.2007 um 19:42 schrieb William L. Thomson Jr.:

> 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
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message