[sr-dev] git:master:1ad4a08f: Merge pull request #1092 from sergey-safarov/spec_update8