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