[GitHub] tomcat pull request #100: Fix for RequestDumperFilter log attribute

2018-02-21 Thread asfgit
Github user asfgit closed the pull request at:

https://github.com/apache/tomcat/pull/100


---

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



[GitHub] tomcat pull request #100: Fix for RequestDumperFilter log attribute

2018-02-21 Thread Djaler
GitHub user Djaler opened a pull request:

https://github.com/apache/tomcat/pull/100

Fix for RequestDumperFilter log attribute



You can merge this pull request into a Git repository by running:

$ git pull https://github.com/Djaler/tomcat patch-1

Alternatively you can review and apply these changes as the patch at:

https://github.com/apache/tomcat/pull/100.patch

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

This closes #100


commit 18ec0443a2e4664b36373bca90b51b356fdf2dda
Author: Kirill Romanov 
Date:   2018-02-21T11:42:34Z

Fix for RequestDumperFilter log attribute




---

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