[sr-dev] git:master:a1672d29: Merge pull request #1705 from sergey-safarov/mongodb