[logback-dev] branch, master, updated. 742e903cdbc5ebe7470f4e8f32fa8ac03bce0b6a