[sr-dev] git:master:86d9c4f3: Merge pull request #1398 from sergey-safarov/docker