[sr-dev] git:5.1:038b47b4: Merge pull request #1401 from sergey-safarov/docker