[GIT] branch master updated (f835547 -> 1ea7540)