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