[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