tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Filip Hanik <devli...@hanik.com>
Subject Re: access to build environment
Date Thu, 12 Jul 2012 01:06:18 GMT
I'd guess those two, do we use anything else for tomcat ci?

Sent from my iPhone

On Jul 11, 2012, at 16:42, Mark Thomas <markt@apache.org> wrote:

> On 11/07/2012 23:40, Filip Hanik (mailing lists) wrote:
>> How do I get access to the build environment?
> 
> Which build environment? Gump, buildbot, something else?
> 
> Mark
> 
>> 
>> So we can change the build to default to Java 7
>> 
>> Filip
>> 
>> 
>> 
>> 
>> ---------------------------------------------------------------------
>> To unsubscribe, e-mail: dev-unsubscribe@tomcat.apache.org
>> For additional commands, e-mail: dev-help@tomcat.apache.org
>> 
> 
> 
> 
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: dev-unsubscribe@tomcat.apache.org
> For additional commands, e-mail: dev-help@tomcat.apache.org
> 

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@tomcat.apache.org
For additional commands, e-mail: dev-help@tomcat.apache.org


Mime
View raw message