Re: [logback-user] A small mistake of the logback manual