[sr-dev] git:master:137e2896: Merge pull request #1323 from sergey-safarov/docker