[sr-dev] git:master:b0f8516f: Merge pull request #734 from gaaf/random-fixes