[sr-dev] git:master:b0233733: Merge pull request #691 from giovannimele/master