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