[sr-dev] git:master:de323d80: Merge pull request #1105 from sergey-safarov/spec_update9