[sr-dev] git:master:7f7a2d85: Merge pull request #894 from giavac/master