[sr-dev] git:master:12cf3ba6: Merge pull request #1847 from sergey-safarov/1836