[GitHub] tomcat pull request #79: remove placeholders from introduction doc

2017-11-11 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/tomcat/pull/79 --- - To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org

[GitHub] tomcat pull request #79: remove placeholders from introduction doc

2017-10-19 Thread pmcelhaney
GitHub user pmcelhaney opened a pull request: https://github.com/apache/tomcat/pull/79 remove placeholders from introduction doc You can merge this pull request into a Git repository by running: $ git pull https://github.com/pmcelhaney/tomcat patch-1 Alternatively you can rev