[GIT] branch master updated (80eb727 -> e741857)