[sr-dev] git:master:5389f903: Merge pull request #1241 from sergey-safarov/spec_update11