[logback-dev] pull request

Hi, I have created this pull request 4 months ago. https://github.com/qos-ch/logback/pull/141 This is my first pull request on github. Did I make something wrong or is just a matter of time to see this patch merged into the master branch? -- regards Leonardo S Souza