[sr-dev] git:master:70061f56: Merge pull request #1958 from sergey-safarov/mips