[GIT] branch master updated (0ece925 -> c57d275)