On 17/01/2012 09:11, Rainer Jung wrote: > On 17.01.2012 09:46, Mark Thomas wrote: >> In that case, I agree with your plan below and will do that shortly. > > Sorry Mark, didn't see your response earlier, I hope there was no energy > wasted by doing duplicate work.
Not at all. I saw your commit just before I started work. Mark --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org