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 <[email protected]> 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: [email protected] >> For additional commands, e-mail: [email protected] >> > > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
