Re: [logback-dev] change in logback jenkins configuration