You are viewing a plain text version of this content. The canonical link for it is here.

Posted to dev@tomcat.apache.org by Rainer Jung <ra...@kippdata.de> on 2026/06/01 09:44:40 UTC

Adding migration tool to https://tomcat.apache.org/source.html

The tool is mentioned in the summary of the page, but then there is 
description how to clone further down the page like for all other 
components.

Best regards,

Rainer


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

Re: Adding migration tool to https://tomcat.apache.org/source.html

Posted by Rainer Jung <ra...@kippdata.de>.

Hi Chris,

Am 01.06.26 um 17:59 schrieb Christopher Schultz:
> Rainer,
> 
> On 6/1/26 5:44 AM, Rainer Jung wrote:
>> The tool is mentioned in the summary of the page, but then there is 
>> description how to clone further down the page like for all other 
>> components.
> 
> I think there is a missing "no" in the sentence above.

Yes

> I'll get this fixed.

Thanks!

Rainer


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

Re: Adding migration tool to https://tomcat.apache.org/source.html

Posted by Christopher Schultz <ch...@christopherschultz.net>.

Rainer,

On 6/1/26 5:44 AM, Rainer Jung wrote:
> The tool is mentioned in the summary of the page, but then there is 
> description how to clone further down the page like for all other 
> components.

I think there is a missing "no" in the sentence above.

I'll get this fixed.

-chris


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