> 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