[sr-dev] git:master:9fd57a96: Merge pull request #257 from krieger-od/master