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

Github user pmcelhaney commented on the issue: https://github.com/apache/tomcat/pull/79 IMHO the humor doesn’t work here. It comes across as condescending. It’s *definitely* not helpful. --- - To unsubscribe

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

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