[sr-dev] git:master:7ffaad57: Merge pull request #606 from giovannimele/master