[logback-dev] branch, master, updated. ef5a12d9162edc1cd94e5b71f4a58c3784e236be