[sr-dev] git:master:90c8c08e: Merge pull request #728 from dunst0/master