[sr-dev] git:master:2abaab52: Merge pull request #1715 from sergey-safarov/spec_update11