> No. It all worked. The only issue is that the commit e-mail that ws sent
> to the dev list is lost. It is possible to re-create it but I don't
> think it is worth it. If others disagree, I'll dig through the infra
> docs and remind myself how to do that.

I see no need for you to spend time digging through docs just to fabricate an
automatic e-mail the commit log for a "where am i" commit.

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

Reply via email to